Type.Family.Nat
data N
fromInt
type family IsZero x :: Bool
zeroCong
zNotS
type family NatEq x y :: Bool
type family Iota x :: [N]
iotaCong
type family Pred x :: N
predCong
type family x + y :: N
addCong
type family x * y :: N
mulCong
type family x ^ y :: N
expCong
type family Len as :: N
lenCong
type family Ix x as :: k
ixCong
type family x < y :: Bool
type x <= y
type family x > y :: Bool
type x >= y
type N0
type N1
type N2
type N3
type N4
type N5
type N6
type N7
type N8
type N9
type N10