Index: src/ResolvExpr/Unify.cc
===================================================================
--- src/ResolvExpr/Unify.cc	(revision c1ec14f5fd75a4980c439c4260b080871fa4c704)
+++ src/ResolvExpr/Unify.cc	(revision 0873d22efcc097d413cbc87404bc6feb3b541bfb)
@@ -324,5 +324,5 @@
 		} else if ( isopen1 ) {
 			result = bindVar( var1, type2, entry1->second, env, needAssertions, haveAssertions, openVars, widenMode, indexer );
-		} else if ( isopen2 ) {
+		} else if ( isopen2 ) { // TODO: swap widenMode values in call, since type positions are flipped?
 			result = bindVar( var2, type1, entry2->second, env, needAssertions, haveAssertions, openVars, widenMode, indexer );
 		} else {