Make type parameters of LocalEnv nominal
commit018fc9ea0c18a9d397f397f10922b6cda8d0b813
authorAndrzej Rybczak <andrzej@rybczak.net>
dateThu 4 Nov 2021, 18:16 (5 years ago)
parent04aa70d
effectful-core/src/Effectful/Internal/Monad.hs+2
@@ -395,6 +395,8 @@ withEffToIO f = unliftStrategy >>= \case
395395----------------------------------------
396396-- Handler
397397
398+type role LocalEnv nominal nominal
399+
398400-- | Opaque representation of the 'Eff' environment at the point of calling the
399401-- 'send' function, i.e. right before the control is passed to the effect
400402-- handler.