struct Cat: Animal<Foo>, Animal<Bar> だったとして、 Foo と Bar が共通の親を持ってたりしたら複雑そう。