add Writer monad