Control.Monad.RWS.Strict
type RWS r w s
rws
runRWS
evalRWS
execRWS
mapRWS
withRWS
data RWST r w s m a
runRWST
evalRWST
execRWST
mapRWST
withRWST