diff --git a/src/Data/Abstract/Evaluatable.hs b/src/Data/Abstract/Evaluatable.hs
index 595e76329..fdcf5273a 100644
--- a/src/Data/Abstract/Evaluatable.hs
+++ b/src/Data/Abstract/Evaluatable.hs
@@ -64,7 +64,6 @@ type MonadEvaluatable location term value effects m =
   , MonadValue location value effects m
   , Recursive term
   , Reducer value (Cell location value)
-  , Show location
   )
 
 newtype ReturnThrow value
diff --git a/src/Data/Abstract/Value.hs b/src/Data/Abstract/Value.hs
index a3ff03572..c85022d96 100644
--- a/src/Data/Abstract/Value.hs
+++ b/src/Data/Abstract/Value.hs
@@ -205,6 +205,7 @@ instance AbstractHole (Value location) where
 instance ( Monad (m effects)
          , Member (Resumable (ValueError location (Value location))) effects
          , MonadEvaluatable location term (Value location) effects m
+         , Show location
          )
       => MonadValue location (Value location) effects m where
   unit     = pure . injValue $ Unit