NonEmpty
class AnnotatedType
class ByNameType
class ConstantType
class ExistentialType
class IntersectionType
class RepeatedType
class SingleType
class StructuralType
class SuperType
class ThisType
class TypeRef
class UnionType
class UniversalType
class WithType