@@ -395,6 +395,8 @@ withEffToIO f = unliftStrategy >>= \case
395----------------------------------------
395----------------------------------------
396-- Handler
396-- Handler
398+type role LocalEnv nominal nominal
398-- | Opaque representation of the 'Eff' environment at the point of calling the
400-- | Opaque representation of the 'Eff' environment at the point of calling the
399-- 'send' function, i.e. right before the control is passed to the effect
401-- 'send' function, i.e. right before the control is passed to the effect
400-- handler.
402-- handler.