Releasable
covariant
invariant
scoped
Do