あれ？↓もできるんだっけ？？

class Animal {} class Cat: Animal {} let a: () -> (Int, (String, Cat)) = { (42, ("xyz", Cat())) } let b: () -> (Int, (String, Animal)) = a

3:24 AM

戻り値の一番外側のタプルはともかく、内側でも Covariant なの謎だ。