Numeric.Natural
data Natural
class Whole n