Index: src/ResolvExpr/Unify.cc
===================================================================
--- src/ResolvExpr/Unify.cc	(revision 73973b686e82b8344cd01aa00e3ddd77f8c8813b)
+++ src/ResolvExpr/Unify.cc	(revision c7f834ee97540f7ecf7e9479b5c836cab282be31)
@@ -170,7 +170,10 @@
 		ast::ptr< ast::Type > t2_(newSecond);
 
+		ast::ptr< ast::Type > subFirst = env.apply(newFirst).node;
+		ast::ptr< ast::Type > subSecond = env.apply(newSecond).node;
+
 		return unifyExact(
-			env.apply( newFirst  ).node,
-			env.apply( newSecond ).node,
+			subFirst,
+			subSecond,
 			newEnv, need, have, open, noWiden(), symtab );
 	}