The reader monad which expresses the environment for asking a record R and returning the computation A.
R
A
The reader monad which expresses the environment for asking a record
Rand returning the computationA.