1 files changed, 1 insertions, 2 deletions
diff --git a/tuplr.cpp b/tuplr.cpp
index 5aaf54a..7dd3e9b 100644
--- a/tuplr.cpp
+++ b/tuplr.cpp
@@ -250,8 +250,7 @@ eval(CEnv& cenv, const string& name, istream& is)
 			result->constrain(cenv.tenv, c); // Constrain types
 			cenv.tsubst = Subst::compose(cenv.tsubst, TEnv::unify(c)); // Solve type constraints
 			resultType = cenv.type(result);
-			if (resultType->concrete())
-				result->lift(cenv); // Lift functions
+			result->lift(cenv); // Lift functions
 			exprs.push_back(make_pair(exp, result));
 
 			// Add definitions as GC roots