opacityTypes
asynchronous
covariant
invariant