Better name

tomjaguarpaw · Oct 30, 2024 · 8f348b9 · 8f348b9
1 parent 85784b0
commit 8f348b9
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/bluefin-internal/src/Bluefin/Internal/Examples.hs b/bluefin-internal/src/Bluefin/Internal/Examples.hs
@@ -955,11 +955,11 @@ runCounter7 stb y k =
         inContext
           @es
           @(e4 :& e :& es)
-          (foo @(e4 :& e :& es) (mapHandle st, mapHandle stb, mapHandle y))
+          (useImplk @(e4 :& e :& es) (mapHandle st, mapHandle stb, mapHandle y))
       get st
   where
-    foo ::
+    useImplk ::
       forall e.
       (State Int e, State Bool e, Stream String e) ->
       Eff (e :& es) r
-    foo = useImpl @e . k
+    useImplk = useImpl @e . k