Index: src/GenPoly/InstantiateGeneric.cc
===================================================================
--- src/GenPoly/InstantiateGeneric.cc	(revision d8847b7e0bcf675a467161ab62fbe142bb2d4e95)
+++ src/GenPoly/InstantiateGeneric.cc	(revision a2eda27b02ccf003bdab975c0b00b844f8618e59)
@@ -23,5 +23,6 @@
 #include "PolyMutator.h"
 
-#include "SymTab/TypeEquality.h"
+#include "ResolvExpr/typeops.h"
+#include "SymTab/Indexer.h"
 #include "SynTree/Declaration.h"
 #include "SynTree/Mutator.h"
@@ -67,8 +68,10 @@
 			
 			bool operator== (const ConcreteType& that) const {
+				SymTab::Indexer dummy;
+				
 				if ( base != that.base ) return false;
 				if ( params.size() != that.params.size() ) return false;
 				for ( std::list< Type* >::const_iterator it = params.begin(), jt = that.params.begin(); it != params.end(); ++it, ++jt ) {
-					if ( ! SymTab::typeEquals(*it, *jt) ) return false;
+					if ( ! ResolvExpr::typesCompatible( *it, *jt, dummy ) ) return false;
 				}
 				return true;