diff --git a/tests/Anoma/Compilation/positive/test075.juvix b/tests/Anoma/Compilation/positive/test075.juvix
index 9c7311d6ea..cfad65e7b2 100644
--- a/tests/Anoma/Compilation/positive/test075.juvix
+++ b/tests/Anoma/Compilation/positive/test075.juvix
@@ -6,10 +6,6 @@ import Stdlib.Debug.Trace open;
 builtin anoma-encode
 axiom anomaEncode : {A : Type} -> A -> Nat;
 
-type R := mkR { a : Nat; b : Nat };
-
-type Tree := leaf Nat | node Tree Tree;
-
 main : Nat :=
   -- jam 0 == 2
   trace (anomaEncode 0)