package preface

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.