これが来た時に Existentialの名を冠するのか、別の名前になるのかが気になる

AnySequence とか個別に実装するの辛い問題はあるので、 existential と呼ぶかどうかはおいといて自動 type erasure はほしいですね。