Strict read-only state
The request for a value of type e from the current environment. This environment is analogous to a parameter of type e.
|Reader (e -> v)|
Locally rebind the value in the dynamic environment. This function both requests and admins Reader requests.
Request the environment value using a transformation function.