From 49a74de758411eafe69e47ef21e2f558712efb2a Mon Sep 17 00:00:00 2001
From: Rob Rix <rob.rix@me.com>
Date: Thu, 29 Mar 2018 09:04:50 -0400
Subject: [PATCH] =?UTF-8?q?We=20don=E2=80=99t=20need=20injectivity=20for?=
 =?UTF-8?q?=20Cell.?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 src/Data/Abstract/Address.hs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/Data/Abstract/Address.hs b/src/Data/Abstract/Address.hs
index 6015ff4e6..5f84f428e 100644
--- a/src/Data/Abstract/Address.hs
+++ b/src/Data/Abstract/Address.hs
@@ -1,4 +1,4 @@
-{-# LANGUAGE MultiParamTypeClasses, TypeFamilyDependencies #-}
+{-# LANGUAGE TypeFamilies #-}
 module Data.Abstract.Address where
 
 import Data.Abstract.FreeVariables
@@ -24,7 +24,7 @@ newtype Monovariant = Monovariant { unMonovariant :: Name }
 
 
 -- | The type into which stored values will be written for a given location type.
-type family Cell l = res | res -> l where
+type family Cell l where
   Cell Precise = Latest
   Cell Monovariant = Set