これもできた。 let c: (Int, (String, Animal)) -> () = { _, _ in } let d: (Int, (String, Cat)) -> () = c

3:27 AM

なるほどー。関数型については、ネストした分も含めて、戻り値ではタプルは Covariant 、引数では Contravariant になってるんだ・・・。