From 802fef2d5a3ee2c7741851c310cfb6a10c1b0a1f Mon Sep 17 00:00:00 2001
From: Rob Rix <rob.rix@me.com>
Date: Tue, 21 Feb 2017 16:26:11 -0500
Subject: [PATCH] Define an Eq1 instance for Syntax.

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

diff --git a/src/Syntax.hs b/src/Syntax.hs
index 385d4994f..6913aa166 100644
--- a/src/Syntax.hs
+++ b/src/Syntax.hs
@@ -2,6 +2,8 @@
 module Syntax where
 
 import Data.Aeson
+import Data.Functor.Classes
+import Data.Functor.Classes.Eq.Generic
 import Data.Functor.Listable
 import Data.Mergeable
 import GHC.Generics
@@ -170,3 +172,6 @@ instance Listable leaf => Listable1 (Syntax leaf) where
 
 instance (Listable leaf, Listable recur) => Listable (Syntax leaf recur) where
   tiers = tiers1
+
+instance Eq leaf => Eq1 (Syntax leaf) where
+  liftEq = genericLiftEq