GHC.TypeLits
data Nat
data Symbol
class KnownNat n
natVal
natVal'
class KnownSymbol n
symbolVal
symbolVal'
data SomeNat
data SomeSymbol
someNatVal
someSymbolVal
sameNat
sameSymbol
type x <= y
type family (m :: Nat) <=? (n :: Nat) :: Bool
type family (m :: Nat) + (n :: Nat) :: Nat
type family (m :: Nat) * (n :: Nat) :: Nat
type family (m :: Nat) ^ (n :: Nat) :: Nat
type family (m :: Nat) - (n :: Nat) :: Nat
type family CmpNat (m :: Nat) (n :: Nat) :: Ordering
type family CmpSymbol (m :: Symbol) (n :: Symbol) :: Ordering
type family TypeError (a :: ErrorMessage) :: b where ...
data ErrorMessage