Idris2Doc : Control.Monad.RWS

Control.Monad.RWS