Data.Number.Peano
data
Nat
data
Sign
data
Whole
class
Peano
a
isSucc
takeNat
toNat
(//)
natLength