Polysemy.Reader.Compact

Run a Reader effect by compacting a value; otherwise behaves as normal. Useful for Reader effects which provide a large structure.

Run a Reader effect with a value in a compact region. Will not add local values to the existing region, but will create a new region for it.