Monads/Writer monad: Difference between revisions