🔥 a redundant constraint for the default signature.

src/Data/Abstract/Evaluatable.hs

@@ -41,7 +41,7 @@ class Evaluatable constr where
           , Semigroup (Cell (LocationFor value) value)
           )
           => SubtermAlgebra constr term (m value)
-  default eval :: (FreeVariables term, MonadFail m, Show1 constr) => SubtermAlgebra constr term (m value)
+  default eval :: (MonadFail m, Show1 constr) => SubtermAlgebra constr term (m value)
   eval expr = fail $ "Eval unspecialized for " ++ liftShowsPrec (const (const id)) (const id) 0 expr ""
 
 -- | If we can evaluate any syntax which can occur in a 'Union', we can evaluate the 'Union'.