Numeric.Natural.Internal
data Natural
class Whole n