IdrisDoc: Control.Monad.Writer

Control.Monad.Writer

WR : (runWriterT : m (a, w)) -> WriterT w m a