[Haskell-beginners] putting together monadic actions