Added Writer monad.