Data.Nat

data Nat

type family NatPlus a a :: Nat

type family NatMul a a :: Nat

type family NatMinus a a :: Nat

type family NatAbs a :: Nat

natPlus

natMul

natMinus

natAbs

type SNat

data family Sing a

class PNum kproxy0

class SNum kproxy0

data SSym0 l

type SSym1 t

type ZSym0

type family Lit n

type SLit n