@@ -83,7 +83,7 @@ send op = unsafeEff $ \es -> do
84-- | Interpret a first order effect.
84-- | Interpret a first order effect.
86− :: (forall r localEs. HasCallStack => e (Eff localEs) r -> Eff es r)
86+ :: (forall r m. HasCallStack => e m r -> Eff es r)
87 -- ^ The effect handler.
87 -- ^ The effect handler.
88 -> Eff (e : es) a
88 -> Eff (e : es) a
89 -> Eff es a
89 -> Eff es a
@@ -111,7 +111,7 @@ interpretM handler m = unsafeEff $ \es -> do
111reinterpret
111reinterpret
112 :: (Eff handlerEs a -> Eff es b)
112 :: (Eff handlerEs a -> Eff es b)
113 -- ^ Introduction of effects encapsulated within the handler.
113 -- ^ 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)
115 -- ^ The effect handler.
115 -- ^ The effect handler.
116 -> Eff (e : es) a
116 -> Eff (e : es) a
117 -> Eff es b
117 -> Eff es b