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