GHC.Types

data Bool

data Char

data Int

data Word

data Float

data Double

data Ordering

data IO a

isTrue#

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

# Runtime type representation

data Module

data TrName

data TyCon

data TypeLitSort

data KindRep

type KindBndr