Control.Monad.RWS.Lazy
data RWS r w s a
data RWST r w s m a