func makeAnimalPair() -> <A: Animal> (A, A) { ... }