Refactoring Arbitrary instance of Peano natural numbers.