[Haskell-beginners] Difference between Monad composition and transformation