Data.Type.Nat

data Nat

_Z

_S

_s

_ZneS

addZ

addS

(.+)

(.*)

(.^)

elimNat

natVal