CatとDogがAnimalに畳み込まれることが許されるなら AErrorとBErrorがany Errorに畳み込まれるのと同じ