diff --git a/bluefin-internal/src/Bluefin/Internal.hs b/bluefin-internal/src/Bluefin/Internal.hs index 603f60e..22e1e2e 100644 --- a/bluefin-internal/src/Bluefin/Internal.hs +++ b/bluefin-internal/src/Bluefin/Internal.hs @@ -355,6 +355,9 @@ instance Handle (Coroutine a b) where instance Handle (Writer w) where mapHandle (Writer wr) = Writer (mapHandle wr) +instance Handle IOE where + mapHandle MkIOE = MkIOE + newtype In (a :: Effects) (b :: Effects) = In# (# #) merge :: (# #) -> (a :& a) `In` a