diff --git a/src/Core/Syntax.hs b/src/Core/Syntax.hs
index 358abb3..841cdee 100644
--- a/src/Core/Syntax.hs
+++ b/src/Core/Syntax.hs
@@ -552,3 +552,7 @@ instance (Eq b) => Eq1 (BindingF b) where
         ka == kb && va `eq` vb
       where eq = liftEqExpr f
 
+deriveEq1 ''ExprF
+
+deriving instance (Eq b, Eq a) => Eq (ExprF b a)
+