From a391268efe1972a78146b9f67ddaffdeef2d2389 Mon Sep 17 00:00:00 2001
From: Rob Rix <rob.rix@me.com>
Date: Wed, 14 Mar 2018 11:25:44 -0400
Subject: [PATCH] Add superclass constraints to AbstractLocation.

---
 src/Data/Abstract/Address.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/Data/Abstract/Address.hs b/src/Data/Abstract/Address.hs
index a26ee0e98..fc709c33a 100644
--- a/src/Data/Abstract/Address.hs
+++ b/src/Data/Abstract/Address.hs
@@ -23,7 +23,7 @@ newtype Monovariant = Monovariant { unMonovariant :: Name }
   deriving (Eq, Ord, Show)
 
 
-class AbstractLocation location where
+class (Foldable (Cell location), Ord location) => AbstractLocation location where
   -- | The type into which stored values will be written for a given location type.
   type family Cell location :: * -> *