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