私はExistentialはAnimalではないが、Type-erasureならAnimalであるという理解です