diff --git a/src/Control/Monad/Effect/Evaluatable.hs b/src/Control/Monad/Effect/Evaluatable.hs
index 1040e1cc6..e556f7ba0 100644
--- a/src/Control/Monad/Effect/Evaluatable.hs
+++ b/src/Control/Monad/Effect/Evaluatable.hs
@@ -57,9 +57,6 @@ instance ( Ord (LocationFor v)
          , Show (LocationFor v)
          , (State (EnvironmentFor v) :< es)
          , (Reader (EnvironmentFor v) :< es)
-         , FreeVariables t
-         , Evaluatable es t v (Base t)
-         , Recursive t
          )
          => Evaluatable es t v [] where
   eval []     = pure unit          -- Return unit value if this is an empty list of terms