A specialized version of a Reader monad with Identity as the inner monad. Since Preface.Make.Reader is a Transformer, this module exposes the classical Reader monad.
Specialization giving an Environment
A Reader Monad is set up by the environment which be requested.