Fix clean-cloogle/cloogle.org#157, again

CloogleDBFactory.icl

@@ -61,6 +61,7 @@ import CoclUtils
 import qualified Type as T
 from Type import instance == Type,
 	class print(print), instance print Type, instance print Priority
+from TypeUnify import isomorphic_to
 from Cloogle import :: FunctionKind(..)
 from DB import :: DB, :: Index(..), newDB, instance == Index, instance < Index
 import qualified DB
@@ -224,7 +225,7 @@ where
 			where [aname,bname:_] = map 'CDB'.getName [a.ce_loc,b.ce_loc]
 
 		instanceEq :: (String, [('CDB'.Type, a)], b) (String, [('CDB'.Type, a)], b) -> Bool
-		instanceEq (s, ts, _) (s2, ts2, _) = s == s2 && map fst ts == map fst ts2
+		instanceEq (s, ts, _) (s2, ts2, _) = s == s2 && all (uncurry (isomorphic_to)) (zip2 (map fst ts) (map fst ts2))
 
 	entridxs = zip2 [Index i \\ i <- [0..]] entries
 	idxfilter f = [idx \\ (idx,e) <- entridxs | f e]