data Int
data Word
data Float
data Double
data Char
data Ptr a
data FunPtr a
class IsString a
class Coercible k a b
class (j ~~ k) a b
data TYPE a
data RuntimeRep
data VecCount
data VecElem
data Down a
data SpecConstrAnnotation
data Constraint
class IsList l