1 files changed, 4 insertions, 4 deletions
diff --git a/stdlib/source/test/lux/tool/compiler/phase/synthesis/function.lux b/stdlib/source/test/lux/tool/compiler/phase/synthesis/function.lux
index 32044f5dc..1a4993c92 100644
--- a/stdlib/source/test/lux/tool/compiler/phase/synthesis/function.lux
+++ b/stdlib/source/test/lux/tool/compiler/phase/synthesis/function.lux
@@ -35,7 +35,7 @@
   (Random [Arity Analysis Analysis])
   (r.rec
    (function (_ constant-function)
-     (do r.monad
+     (do {@ r.monad}
        [function? r.bit]
        (if function?
          (do @
@@ -53,7 +53,7 @@
 
 (def: function-with-environment
   (Random [Arity Analysis Variable])
-  (do r.monad
+  (do {@ r.monad}
     [num-locals (|> r.nat (:: @ map (|>> (n.% 100) (n.max 10))))
      #let [indices (list.n/range 0 (dec num-locals))
            local-env (list@map (|>> #////reference.Local) indices)
@@ -102,7 +102,7 @@
         (wrap [arity'
                (#////analysis.Function (list) bodyA)
                predictionA]))
-      (do r.monad
+      (do {@ r.monad}
         [chosen (|> r.nat (:: @ map (|>> (n.% 100) (n.max 2))))]
         (wrap [arity
                (#////analysis.Reference (////reference.local chosen))
@@ -149,7 +149,7 @@
 
 (def: application
   Test
-  (do r.monad
+  (do {@ r.monad}
     [arity (|> r.nat (:: @ map (|>> (n.% 10) (n.max 1))))
      funcA //primitive.primitive
      argsA (r.list arity //primitive.primitive)]