Data.Category.NNO

class HasNaturalNumberObject k

data NatNum

type Nat

data PrimRec z s