Control.Monad.Freer.StateRW

runStateR

data Reader e a

data Writer w a

tell

ask