package preface

The encapsulated state.

The inner monad.

The type held by the reader monad.

promote monad into the transformation.

Run the reader and extract the value.

Provides the monad environment.

Modify the environment and execute the reader.

Build a reader from a function.