Numeric.Peano
data
Nat
data
Sign
data
Whole
class
Peano
a
isSucc
takeNat
natLength