Fence を covariant にしようとして typealias Fence<T> = () -> T? にすると、今度は animal を var にできません（ Fecce の T が out である制約が効いていると解釈できる）。