maybeAppDataTyConExpandingDicts, eqTy
-- ,expandTy -- ToDo:rm
)
-import TyCon ( isPrimTyCon, tyConFamilySize )
+import TyCon ( isPrimTyCon )
import TyVar ( tyVarKind, GenTyVar{-instances-} )
import UniqSet ( emptyUniqSet, mkUniqSet, intersectUniqSets,
unionUniqSets, elementOfUniqSet, UniqSet(..)