Numeric.Natural

data Natural