If I were writing my own Haskell compiler using Haskell, how would I add a type that doesn\'t have to do with other types? For example, how would I make an integer type with
