HandleReader is like Reader, generalized to work for arbitrary Handles. localHandle locally overrides the value of a handle in a well-scoped way. The original handle will be restored when you exit the localHandle block regardless of whether the exit was normal or via an exception.

HandleReader supports functionality similiar to effectful's interpose and polysemy's intercept, that is, locally augmenting an effect with new behaviors.