-import Type
-import Bag
-import Literal ( literalType, Literal )
-import Id ( idType, isDataCon,
- getInstantiatedDataConSig
+import Literal ( literalType, Literal{-instance Outputable-} )
+import Maybes ( catMaybes )
+import Name ( isLocallyDefined, getSrcLoc )
+import Outputable ( PprStyle, Outputable(..){-instance * []-} )
+import PprType ( GenType{-instance Outputable-}, TyCon )
+import Pretty -- quite a bit of it
+import PrimOp ( primOpType )
+import SrcLoc ( SrcLoc{-instance Outputable-} )
+import Type ( mkFunTys, splitFunTy, maybeAppDataTyConExpandingDicts,
+ isTyVarTy, eqTy, splitFunTyExpandingDicts, SYN_IE(Type)