I was trying to implement Integers at the type level in Haskell. To start I implemented natural numbers with