diff --git a/tests/Anoma/Compilation/positive/test054.juvix b/tests/Anoma/Compilation/positive/test054.juvix
index 2b1a49c55d..c764cd5135 100644
--- a/tests/Anoma/Compilation/positive/test054.juvix
+++ b/tests/Anoma/Compilation/positive/test054.juvix
@@ -5,7 +5,7 @@ import Stdlib.Prelude open;
 
 syntax iterator myfor;
 myfor : {A B : Type} → (A → B → A) → A → List B → A :=
-  foldl {_} {_};
+  foldl {_} {_} {{_}} {_};
 
 syntax iterator mymap {init := 0};
 mymap : {A B : Type} → (A → B) → List A → List B
diff --git a/tests/Anoma/Compilation/positive/test061.juvix b/tests/Anoma/Compilation/positive/test061.juvix
index bb26cc849b..f373e2242f 100644
--- a/tests/Anoma/Compilation/positive/test061.juvix
+++ b/tests/Anoma/Compilation/positive/test061.juvix
@@ -38,7 +38,7 @@ tListI {A} {{T A}} : T (List A) :=
   mkT@{
     toNat {A} {{T A}} (xs : List A) : Nat :=
       for (acc := 0) (x in xs)
-        acc + T.toNat x
+        acc + T.toNat {A} x
   };
 
 g : {A : Type} → {{T A}} → Nat := 5;
diff --git a/tests/Casm/Compilation/positive/test054.juvix b/tests/Casm/Compilation/positive/test054.juvix
index 2b1a49c55d..c764cd5135 100644
--- a/tests/Casm/Compilation/positive/test054.juvix
+++ b/tests/Casm/Compilation/positive/test054.juvix
@@ -5,7 +5,7 @@ import Stdlib.Prelude open;
 
 syntax iterator myfor;
 myfor : {A B : Type} → (A → B → A) → A → List B → A :=
-  foldl {_} {_};
+  foldl {_} {_} {{_}} {_};
 
 syntax iterator mymap {init := 0};
 mymap : {A B : Type} → (A → B) → List A → List B
diff --git a/tests/Compilation/positive/test054.juvix b/tests/Compilation/positive/test054.juvix
index 2b1a49c55d..c764cd5135 100644
--- a/tests/Compilation/positive/test054.juvix
+++ b/tests/Compilation/positive/test054.juvix
@@ -5,7 +5,7 @@ import Stdlib.Prelude open;
 
 syntax iterator myfor;
 myfor : {A B : Type} → (A → B → A) → A → List B → A :=
-  foldl {_} {_};
+  foldl {_} {_} {{_}} {_};
 
 syntax iterator mymap {init := 0};
 mymap : {A B : Type} → (A → B) → List A → List B
diff --git a/tests/Rust/Compilation/positive/test054.juvix b/tests/Rust/Compilation/positive/test054.juvix
index 2b1a49c55d..c764cd5135 100644
--- a/tests/Rust/Compilation/positive/test054.juvix
+++ b/tests/Rust/Compilation/positive/test054.juvix
@@ -5,7 +5,7 @@ import Stdlib.Prelude open;
 
 syntax iterator myfor;
 myfor : {A B : Type} → (A → B → A) → A → List B → A :=
-  foldl {_} {_};
+  foldl {_} {_} {{_}} {_};
 
 syntax iterator mymap {init := 0};
 mymap : {A B : Type} → (A → B) → List A → List B