Opaque type

A type spelled with some whose fixed concrete identity is chosen and hidden by the implementation.