[Haskell-cafe] Composing monads