Data.Type.Nat

data Nat

_Z

_S

_s

_ZneS

addZ

addS

(.+)

(.*)

(.^)

nat

n0

n1

n2

n3

n4

n5

n6

n7

n8

n9

n10