- isEnumerationTyCon, isAlgTyCon, TyCon
- )
-import Type ( GenType(..), SYN_IE(TauType), mkTyVarTys, applyTyCon,
- mkSigmaTy, mkDictTy, isPrimType, instantiateTy,
- getAppDataTyCon, getAppTyCon
- )
-import TysPrim ( voidTy )
-import TyVar ( GenTyVar, SYN_IE(TyVar) )
-import UniqFM ( emptyUFM )
-import Unique -- Keys stuff
-import Bag ( bagToList )
-import Util ( zipWithEqual, zipEqual, sortLt, removeDups, assoc,
- thenCmp, cmpList, panic, panic#, pprPanic, pprPanic#,
- Ord3(..), assertPanic-- , pprTrace{-ToDo:rm-}
-