Numeric.Natural

data Natural

class Whole n

natural