From 0f96c4892a5bc8961c183feafa8d1d2ff67dae48 Mon Sep 17 00:00:00 2001
From: joshvera <josh@joshvera.com>
Date: Fri, 6 Apr 2018 11:10:00 -0400
Subject: [PATCH] redundant constraints

---
 src/Semantic/Util.hs | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

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))