diff --git a/src/Semantic/Util.hs b/src/Semantic/Util.hs
index 6c8768bc6..2ea8992b4 100644
--- a/src/Semantic/Util.hs
+++ b/src/Semantic/Util.hs
@@ -85,9 +85,7 @@ typecheckTypeScriptFile path = runAnalysis @(Caching (Evaluating Monovariant Typ
 runEvaluating :: forall term effects a.
                  ( Effects Precise term (Value Precise) (Evaluating Precise term (Value Precise) effects) ~ effects
                  , Corecursive term
-                 , Recursive term
-                 , Evaluatable (Base term)
-                 , FreeVariables term)
+                 , Recursive term )
               => Evaluating Precise term (Value Precise) effects a
               -> Final effects a
 runEvaluating = runAnalysis @(Evaluating Precise term (Value Precise))