Add Writer Monad.