[Haskell-cafe] The kind of (->)