Data.Natural.Class

class Natural n