reader package:adjunctions

Retrieves a function of the current environment.
Representable functors on Hask are all monads, because they are isomorphic to a Reader monad.
See examples in Control.Monad.Reader. Note, the partially applied function type (->) r is a simple reader monad. See the instance declaration below.