[Haskell-beginners] Monad and bind operator interpretation