GHC.Types
data Bool
data Char
data Int
data Word
data Float
data Double
data Ordering
data IO a
data SPEC
data Nat
data Symbol
type family Any :: k where ...
class a ~~ b
class Coercible a b
data TYPE a
data RuntimeRep
type Type
type *
type (★)
data Constraint
data VecCount
data VecElem
data Module
data TrName
data TyCon
data TypeLitSort
data KindRep
type KindBndr