Optional<Any<Animal>> が Optional<AnyAnimal> と等価なイメージなので後者ですが、これも existential なのでは？ (edited)