In `() -> T` T is in `out` position but it beco...

# announcements

[michaelrocks]

In () -> T T is in out position but it becomes invariant because () -> T is passed to a function, right?