diff --git a/src/Control/Abstract/Addressable.hs b/src/Control/Abstract/Addressable.hs
index d0b6fa5ec..c32bac14a 100644
--- a/src/Control/Abstract/Addressable.hs
+++ b/src/Control/Abstract/Addressable.hs
@@ -13,7 +13,7 @@ import Prelude hiding (fail)
 import Prologue
 
 -- | Defines 'alloc'ation and 'deref'erencing of 'Address'es in a Heap.
-class (Monad m, Ord location, location ~ LocationFor value, Reducer value (Cell location value)) => MonadAddressable location value m where
+class (Monad m, Ord location, Reducer value (Cell location value)) => MonadAddressable location value m where
   deref :: Address location value -> m value
 
   alloc :: Name -> m (Address location value)