Control.Monad.RWS.Lazy
data RWS r w s a
evalRWS
execRWS
mapRWS
withRWS
data RWST r w s m a
evalRWST
execRWST
mapRWST
withRWST