Data.Nat

data Nat

addNat

subtractFromNat

multiplyNat