お、 Swift でも T について covariant な Foo<T> （ Foo<out T> のように振る舞う）を作ることに成功した。

typealias Foo<T> = () -> T class Animal {} class Cat: Animal {} let a: Array<Foo<Cat>> = [] let b: Array<Foo<Animal>> = a // OK