writer monad test