(Animal, Int)に対するextensionは(Cat, Int) でも使いたいですよね