Type level names in Haskell.