From 98cd5eb860ee9b845a805d5c97c1cafef25b7d68 Mon Sep 17 00:00:00 2001
From: Rob Rix <rob.rix@me.com>
Date: Mon, 11 Sep 2017 10:20:42 -0400
Subject: [PATCH] Define an Eq1 instance for Env.

---
 src/Data/Functor/Binding.hs | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/Data/Functor/Binding.hs b/src/Data/Functor/Binding.hs
index 050edebce..b9e787f35 100644
--- a/src/Data/Functor/Binding.hs
+++ b/src/Data/Functor/Binding.hs
@@ -81,6 +81,9 @@ instance Eq1 f => Eq1 (BindingF f) where
 instance (Eq1 f, Eq a) => Eq (BindingF f a) where
   (==) = eq1
 
+instance Eq1 Env where
+  liftEq eq (Env v1) (Env v2) = liftEq (liftEq eq) v1 v2
+
 
 instance Show1 f => Show1 (BindingF f) where
   liftShowsPrec sp sl d (Let vars body) = showsBinaryWith (const (liftShowList sp sl)) (liftShowsPrec sp sl) "Let" d vars body