Data.Type.Nat

data Nat

pred'

onNatPred

_Z

_S

_s

_ZneS

addZ

addS

(.+)

(.*)

(.^)

elimNat

natVal