diff --git a/compiler/builtins/src/unique.rs b/compiler/builtins/src/unique.rs
index 510ceaf633..0df4f849fd 100644
--- a/compiler/builtins/src/unique.rs
+++ b/compiler/builtins/src/unique.rs
@@ -394,16 +394,16 @@ pub fn types() -> MutMap<Symbol, (SolvedType, Region)> {
 
     // Bool module
 
-    // isEq or (==) : *, * -> Attr u Bool
+    // isEq or (==) : a, a -> Attr u Bool
     add_type(
         Symbol::BOOL_EQ,
-        unique_function(vec![flex(TVAR1), flex(TVAR2)], bool_type(UVAR3)),
+        unique_function(vec![flex(TVAR1), flex(TVAR1)], bool_type(UVAR3)),
     );
 
-    // isNeq or (!=) : *, * -> Attr u Bool
+    // isNeq or (!=) : a, a -> Attr u Bool
     add_type(
         Symbol::BOOL_NEQ,
-        unique_function(vec![flex(TVAR1), flex(TVAR2)], bool_type(UVAR3)),
+        unique_function(vec![flex(TVAR1), flex(TVAR1)], bool_type(UVAR3)),
     );
 
     // and or (&&) : Attr u1 Bool, Attr u2 Bool -> Attr u3 Bool
diff --git a/compiler/solve/tests/test_uniq_solve.rs b/compiler/solve/tests/test_uniq_solve.rs
index 2f26288dae..69e0e553a3 100644
--- a/compiler/solve/tests/test_uniq_solve.rs
+++ b/compiler/solve/tests/test_uniq_solve.rs
@@ -2358,7 +2358,7 @@ mod test_uniq_solve {
                 \a, b -> a == b
                 "#
             ),
-            "Attr * (*, * -> Attr * Bool)",
+            "Attr * (a, a -> Attr * Bool)",
         );
     }