get the environment
get the environment
modify the environment
modify the environment
Update the read value, the stack of the Eff computation stays the same
Update the read value, the stack of the Eff computation stays the same
interpret the Reader effect by providing an environment when required
interpret the Reader effect by providing an environment when required
Interpret a Reader effect by using another Reader effect in the same stack
Interpret a Reader effect by using another Reader effect in the same stack
Modify the type of the read value
Modify the type of the read value
This changes the stack of the Eff computation