Base
BaseNewType
NewSubType
NewType
BaseNewType
newtype
BaseNewType$Types
newtype