Simplify further

tomjaguarpaw · Oct 30, 2024 · 85784b0 · 85784b0
1 parent b10d05b
commit 85784b0
Showing 1 changed file with 3 additions and 4 deletions.
diff --git a/bluefin-internal/src/Bluefin/Internal/Examples.hs b/bluefin-internal/src/Bluefin/Internal/Examples.hs
@@ -943,10 +943,9 @@ getCounter7 (st, _, y) msg = do
   get st
 
 runCounter7 ::
-  forall es e1 e2 r.
-  (e1 :> es, e2 :> es) =>
-  State Bool e2 ->
-  Stream String e1 ->
+  forall es r.
+  State Bool es ->
+  Stream String es ->
   (forall e. (State Int e, State Bool e, Stream String e) -> Eff e r) ->
   Eff es Int
 runCounter7 stb y k =