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
じゃないとダメかと思います。