Index: src/ResolvExpr/AlternativeFinder.cc
===================================================================
--- src/ResolvExpr/AlternativeFinder.cc	(revision 0b150eccb21118c3e0226446011f3008a38293e5)
+++ src/ResolvExpr/AlternativeFinder.cc	(revision 7f623d6fc2334cda8b26a77d059a48637fb5a398)
@@ -627,4 +627,5 @@
 		TypeEnvironment resultEnv;
 		makeUnifiableVars( funcType, openVars, resultNeed );
+		resultEnv.add( funcType->get_forall() ); // add all type variables as open variables now so that those not used in the parameter list are still considered open
 		AltList instantiatedActuals; // filled by instantiate function
 		if ( targetType && ! targetType->isVoid() && ! funcType->get_returnVals().empty() ) {