Idris2Doc : Control.Monad.Writer

Control.Monad.Writer