WriterT
WriterT trans instance