@@ -83,7 +83,7 @@ send op = unsafeEff $ \es -> do
8383
8484-- | Interpret a first order effect.
8585interpret
86− :: (forall r localEs. HasCallStack => e (Eff localEs) r -> Eff es r)
86+ :: (forall r m. HasCallStack => e m r -> Eff es r)
8787 -- ^ The effect handler.
8888 -> Eff (e : es) a
8989 -> Eff es a
@@ -111,7 +111,7 @@ interpretM handler m = unsafeEff $ \es -> do
111111reinterpret
112112 :: (Eff handlerEs a -> Eff es b)
113113 -- ^ Introduction of effects encapsulated within the handler.
114− -> (forall r localEs. HasCallStack => e (Eff localEs) r -> Eff handlerEs r)
114+ -> (forall r m. HasCallStack => e m r -> Eff handlerEs r)
115115 -- ^ The effect handler.
116116 -> Eff (e : es) a
117117 -> Eff es b