[Haskell-beginners] about kind of (->)