add writer-monad test