Numeric.Natural.Internal

data Natural

class Whole n

natural