Data.TypeNat.Nat
data Nat
class IsNat n
class LTE n m
type Zero
type One
type Two
type Three
type Four
type Five
type Six
type Seven
type Eight
type Nine
type Ten