type Reader r = ReaderT r Identity
The parameterizable reader monad.
Computations are functions of a shared environment.
The return function ignores the environment, while >>= passes the inherited environment to both subcomputations
return
>>=
============
Is there an unparameterizable reader monad?
Michael