diff --git a/crates/ailang-core/src/ast.rs b/crates/ailang-core/src/ast.rs
index 84032ad..36d903a 100644
--- a/crates/ailang-core/src/ast.rs
+++ b/crates/ailang-core/src/ast.rs
@@ -337,7 +337,7 @@ pub struct InstanceMethod {
 /// `(Eq, a)` for `Eq a => ...`). Concrete-type constraints are legal
 /// schema-wise but fired as `no-instance` at typecheck time if no
 /// matching registry entry exists.
-#[derive(Debug, Clone, PartialEq, Eq, Serialize, Deserialize)]
+#[derive(Debug, Clone, Serialize, Deserialize)]
 pub struct Constraint {
     /// Class name.
     pub class: String,
@@ -763,9 +763,9 @@ impl PartialEq for Type {
             }
             (Type::Var { name: a }, Type::Var { name: b }) => a == b,
             (
-                Type::Forall { vars: a, constraints: ac, body: ab },
-                Type::Forall { vars: b, constraints: bc, body: bb },
-            ) => a == b && ac == bc && ab == bb,
+                Type::Forall { vars: a, constraints: _, body: ab },
+                Type::Forall { vars: b, constraints: _, body: bb },
+            ) => a == b && ab == bb,
             _ => false,
         }
     }