Comparison functions for type level natural numbers in Haskell