GHC.TypeLits
data Nat
data Symbol
data family Sing n
class SingI a
class SingE kparam
class SingRep a
singByProxy
data SomeSing
class ToSing kp
type SomeNat
type SomeSymbol
withSing
singThat
class m (<=) n
type family m (<=?) n :: Bool
type family m (+) n :: Nat
type family m (*) n :: Nat
type family m (^) n :: Nat
type family m (-) n :: Nat
data :~:
eqSingNat
eqSingSym
isZero
data IsZero
data Nat1
type family FromNat1 n :: Nat
data KindIs a
type Demote a
type KindOf a