The reader monad transformer which expresses the environment for asking a record R and returning the computation A in M.
R
A
M
The reader monad transformer which expresses the environment for asking a record
Rand returning the computationAinM.