-import AbsPrel ( liftDataCon, mkLiftTy )
-import TysPrim ( statePrimTyCon ) -- ToDo: get from AbsPrel
-import AbsUniType
-import Id ( getIdUniType, updateIdType, mkSysLocal, isLocallyDefined )
-import IdEnv
-import Outputable
-import PlainCore
-import SplitUniq
-import Util
+import CoreSyn
+import CoreUtils ( coreExprType )
+import Id ( idType, mkSysLocal,
+ nullIdEnv, growIdEnvList, lookupIdEnv, IdEnv(..),
+ GenId{-instances-}
+ )
+import PrelInfo ( liftDataCon, mkLiftTy, statePrimTyCon )
+import TyCon ( isBoxedTyCon, TyCon{-instance-} )
+import Type ( maybeAppDataTyCon, eqTy )
+import UniqSupply ( getUnique, getUniques, splitUniqSupply, UniqSupply )
+import Util ( zipEqual, zipWithEqual, assertPanic, panic )