Optional<Cat> is P だけど Optional<Animal> is P ではないと。