Index: src/GenPoly/GenPoly.h
===================================================================
--- src/GenPoly/GenPoly.h	(revision 08fc48f4a5c70b7f3e402da3afef2763f754ff3a)
+++ src/GenPoly/GenPoly.h	(revision f1dd17a2647470d272ed4dccf0b36edd45f84b6e)
@@ -80,4 +80,10 @@
 	bool typesPolyCompatible( Type *aty, Type *bty );
 
+	/// true if arg requires boxing given exprTyVars
+	bool needsBoxing( Type * param, Type * arg, const TyVarMap &exprTyVars, TypeSubstitution * env );
+
+	/// true if arg requires boxing in the call to appExpr
+	bool needsBoxing( Type * param, Type * arg, ApplicationExpr * appExpr, TypeSubstitution * env );
+
 	/// Adds the type variable `tyVar` to `tyVarMap`
 	void addToTyVarMap( TypeDecl * tyVar, TyVarMap &tyVarMap );