うーん、↓ができないと Generalized Existential の意味あまりなさそう（ AnySequence 等の個別の実装をなくせない）だし、 typealias AnySequence<Element> = Any<Sequence where .Iterator.Element == Element> でもそのために早期 ABI 安定化ができないのだとすると、どちらかを諦めるしかなさそうですね。