[Haskell-cafe] Types