Don't use unsafeRemoveEff in unsafeProvideIO

tomjaguarpaw · Nov 16, 2024 · 4d51c6f · 4d51c6f
1 parent e6b63a2
commit 4d51c6f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/bluefin-internal/src/Bluefin/Internal.hs b/bluefin-internal/src/Bluefin/Internal.hs
@@ -1157,7 +1157,7 @@ unsafeProvideIO ::
   (forall e. IOE e -> Eff (e :& es) a) ->
   -- | ͘
   Eff es a
-unsafeProvideIO eff = unsafeRemoveEff (eff MkIOE)
+unsafeProvideIO eff = useImplIn eff MkIOE
 
 connect ::
   (forall e1. Coroutine a b e1 -> Eff (e1 :& es) r1) ->