例えばGenericsでTのvalueを受ける関数に、Animalのexistentialを渡すと、TはAnimalのexistentialになるので、と混ざっていた