Index: src/ResolvExpr/Unify.cc
===================================================================
--- src/ResolvExpr/Unify.cc	(revision 0bd46fdf0880513efbef382cb2e926954f5c6001)
+++ src/ResolvExpr/Unify.cc	(revision 31c967b40fdb700cadb78ef6b9488cfa9dea77f2)
@@ -1036,5 +1036,4 @@
 		/// Creates a tuple type based on a list of Type
 
-
 		static bool unifyList(
 			const std::vector< ast::ptr< ast::Type > > & list1,
@@ -1174,7 +1173,6 @@
 			return env.bindVar( var2, type1, entry2->second, need, have, open, widen, symtab );
 		} else {
-			ast::Pass<Unify_new> comparator{ type2, env, need, have, open, widen, symtab };
-			type1->accept( comparator );
-			return comparator.core.result;
+			return ast::Pass<Unify_new>::read(
+				type1, type2, env, need, have, open, widen, symtab );
 		}
 	}