diff --git a/tests/todo/global-equality3.vix b/tests/singles/global-equality-recursive.vix
similarity index 92%
rename from tests/todo/global-equality3.vix
rename to tests/singles/global-equality-recursive.vix
index 12994bf6..e2025c43 100644
--- a/tests/todo/global-equality3.vix
+++ b/tests/singles/global-equality-recursive.vix
@@ -12,7 +12,7 @@ data Equals forall A. (a b : A) where
   Refl : Equals a a
 
 test : forall a b (f : a -> b) as. Equals (map f as) (map2 f as)
-test = Refl --loops
+test = Refl -- type mismatch error expected
 
 test2 : forall a b (f : a -> b) as. Equals (map f as) (map2 f as)
 test2 @{f, as} = case as of