Data.Nat

data Nat

type family NatPlus (a :: Nat) (a :: Nat) :: Nat where ...

type family NatMul (a :: Nat) (a :: Nat) :: Nat where ...

type family NatMinus (a :: Nat) (a :: Nat) :: Nat where ...

type family NatAbs (a :: Nat) :: Nat where ...

natPlus

natMul

natMinus

natAbs

type SNat

data family Sing k (a :: k) :: *

class PNum a0 kproxy0

class SNum a0

data SSym0 l

type SSym1 t

type ZSym0

type family Lit n where ...

type SLit n

sLit