ReaderEffect

get the environment

modify the environment

modify the environment using a Kleisli[F, T, *]

Update the read value, the stack of the Eff computation stays the same

interpret the Kleisli effect by providing an environment when required and translating the resulting target effect into the same stack

interpret the Reader effect by providing an environment when required

Interpret a Reader effect by using another Reader effect in the same stack

Modify the type of the read value

This changes the stack of the Eff computation