Lift a computation over a "small" reader (for a subsystem) into a computation over a "bigger" reader (for the full application)
Lift a computation over a "small" reader (for a subsystem) into a computation over a "bigger" reader (for the full application)
interpret the Reader effect by providing an environment when required
interpret the Reader effect by providing an environment when required