Control.Monad.RWS.Class
class
MonadRWS
r w s m