From 4d51c6f3ff53bcb2134c139b9f1500ea6659774d Mon Sep 17 00:00:00 2001
From: Tom Ellis <tom-git@jaguarpaw.co.uk>
Date: Sat, 16 Nov 2024 08:07:59 +0000
Subject: [PATCH] Don't use unsafeRemoveEff in unsafeProvideIO

---
 bluefin-internal/src/Bluefin/Internal.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/bluefin-internal/src/Bluefin/Internal.hs b/bluefin-internal/src/Bluefin/Internal.hs
index 706b958..5be6547 100644
--- 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) ->