Creating an 'Even' typeclass in Haskell using Peano numbers