[Haskell-cafe] Type synonyms