From c8967572a6cdfdf9d9e498f55677e7050a8753e6 Mon Sep 17 00:00:00 2001
From: crumbtoo <crumb@disroot.org>
Date: Mon, 26 Feb 2024 14:58:17 -0700
Subject: [PATCH] Eq1

---
 src/Core/Syntax.hs | 4 ++++
 1 file changed, 4 insertions(+)

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)
+