Animal になるのかなと。 https://github.com/apple/swift/blob/master/docs/GenericsManifesto.md#generalized-existentialstypealias AnySequence<Element> = Any<Sequence where .Iterator.Element == Element> とするためには、 Any<FooProtocol> is FooProtocol じゃないとダメかと思います。