<@U092308M7> Would this be a reasonable summary? ...

# announcements

[cedric]

@orangy Would this be a reasonable summary? Parameter position: in. Closure that returns a `T`: out. So T has to be invariant.