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