つまり、 AnySequence は type erasure ではなく type eraser ってことね。