[Haskell-cafe] Update on monad subexpressions