They are also opaque to the type system.