Control.Monad.Freer.StateRW

runStateR

data Reader e v

data Writer o x

tell

ask