diff --git a/compiler/basicTypes/MkId.lhs b/compiler/basicTypes/MkId.lhs
index a5bbacc052022508a6859ce60fdacab9af3f24a2..b1c90b3c3615941b4d1ccf4040366cd8562d6838 100644
--- a/compiler/basicTypes/MkId.lhs
+++ b/compiler/basicTypes/MkId.lhs
@@ -50,7 +50,6 @@ import TysPrim
 import TysWiredIn
 import PrelRules
 import Type
-import TypeRep
 import Coercion
 import TcType
 import CoreUtils	( exprType, mkCoerce )
@@ -60,7 +59,6 @@ import TyCon
 import Class
 import VarSet
 import Name
-import OccName
 import PrimOp
 import ForeignCall
 import DataCon
@@ -70,7 +68,6 @@ import IdInfo
 import NewDemand
 import CoreSyn
 import Unique
-import Maybes
 import PrelNames
 import BasicTypes       hiding ( SuccessFlag(..) )
 import Util
diff --git a/compiler/cmm/CmmBuildInfoTables.hs b/compiler/cmm/CmmBuildInfoTables.hs
index bf5ef8eb1a5015e9dd9e490fe30132aba9301be8..d2126cd05c20cea328cb5cfa67de6a84649fd559 100644
--- a/compiler/cmm/CmmBuildInfoTables.hs
+++ b/compiler/cmm/CmmBuildInfoTables.hs
@@ -18,7 +18,6 @@ import BlockId
 import Bitmap
 import CLabel
 import Cmm hiding (blockId)
-import CmmExpr
 import CmmInfo
 import CmmProcPointZ
 import CmmStackLayout
@@ -35,7 +34,6 @@ import MkZipCfgCmm hiding (CmmAGraph, CmmBlock, CmmTopZ, CmmZ, CmmGraph)
 import Monad
 import Name
 import Outputable
-import Panic
 import SMRep
 import StgCmmClosure
 import StgCmmForeign
diff --git a/compiler/cmm/CmmCPS.hs b/compiler/cmm/CmmCPS.hs
index f6a677a8fe4a022ea090a80cd81fbaf22c2269c2..6a1dc40089aae0363dd6c90365897297a02e06ff 100644
--- a/compiler/cmm/CmmCPS.hs
+++ b/compiler/cmm/CmmCPS.hs
@@ -32,8 +32,6 @@ import UniqSet
 import Unique
 
 import Monad
-import IO
-import Data.List
 
 -----------------------------------------------------------------------------
 -- |Top level driver for the CPS pass
diff --git a/compiler/cmm/CmmCPSGen.hs b/compiler/cmm/CmmCPSGen.hs
index b5f51a98b95162f5ed44f685114a4cf4db823e02..dc43a831e633d3988d634885b67d276bae59601f 100644
--- a/compiler/cmm/CmmCPSGen.hs
+++ b/compiler/cmm/CmmCPSGen.hs
@@ -24,7 +24,6 @@ import Constants
 import StaticFlags
 import Unique
 import Maybe
-import List
 import FastString
 
 import Panic
diff --git a/compiler/cmm/CmmCallConv.hs b/compiler/cmm/CmmCallConv.hs
index 64af09d649a5fe8a423129831f7e0b8e3096bf58..a49fa65ab4a2d20d0da73083a5f0c5697bd9aa36 100644
--- a/compiler/cmm/CmmCallConv.hs
+++ b/compiler/cmm/CmmCallConv.hs
@@ -15,7 +15,6 @@ import ZipCfgCmmRep (Convention(..))
 import Constants
 import StaticFlags (opt_Unregisterised)
 import Outputable
-import Panic
 
 -- Calculate the 'GlobalReg' or stack locations for function call
 -- parameters as used by the Cmm calling convention.
diff --git a/compiler/cmm/CmmCvt.hs b/compiler/cmm/CmmCvt.hs
index da770636b438ebbb2bb05381df1a76816779de30..016e725673bdf044d685e50edacac31c5ebb66d8 100644
--- a/compiler/cmm/CmmCvt.hs
+++ b/compiler/cmm/CmmCvt.hs
@@ -6,7 +6,6 @@ where
 
 import BlockId
 import Cmm
-import CmmExpr
 import MkZipCfgCmm hiding (CmmGraph)
 import ZipCfgCmmRep -- imported for reverse conversion
 import CmmZipUtil
@@ -16,11 +15,8 @@ import qualified ZipCfg as G
 import FastString
 import Monad
 import Outputable
-import Panic
 import UniqSupply
 
-import Maybe
-
 cmmToZgraph :: GenCmm d h (ListGraph CmmStmt) -> UniqSM (GenCmm d h (CmmStackInfo, CmmGraph))
 cmmOfZgraph :: GenCmm d h (CmmStackInfo, CmmGraph)          ->         GenCmm d h (ListGraph CmmStmt)
 
diff --git a/compiler/cmm/CmmProcPointZ.hs b/compiler/cmm/CmmProcPointZ.hs
index b477f4c2336071341fe51b4835df5639ad0da982..138626765b810a6d8efc26e8ff82ba5b2a2dd4b6 100644
--- a/compiler/cmm/CmmProcPointZ.hs
+++ b/compiler/cmm/CmmProcPointZ.hs
@@ -11,7 +11,6 @@ import BlockId
 import CLabel
 import Cmm hiding (blockId)
 import CmmContFlowOpt
-import CmmExpr
 import CmmInfo
 import CmmLiveZ
 import CmmTx
@@ -23,7 +22,6 @@ import MkZipCfg
 import MkZipCfgCmm hiding (CmmBlock, CmmGraph, CmmTopZ)
 import Monad
 import Outputable
-import Panic
 import UniqSet
 import UniqSupply
 import ZipCfg
diff --git a/compiler/cmm/CmmSpillReload.hs b/compiler/cmm/CmmSpillReload.hs
index fb6931e006556549fd707af13ba6f773cea87358..1f88b7679a53b24fda9f999147fa03a335f30017 100644
--- a/compiler/cmm/CmmSpillReload.hs
+++ b/compiler/cmm/CmmSpillReload.hs
@@ -18,7 +18,6 @@ import CmmTx
 import CmmLiveZ
 import DFMonad
 import MkZipCfg
-import OptimizationFuel
 import PprCmm()
 import ZipCfg
 import ZipCfgCmmRep
@@ -27,7 +26,6 @@ import ZipDataflow
 import Monad
 import Outputable hiding (empty)
 import qualified Outputable as PP
-import Panic
 import UniqSet
 
 import Maybe
diff --git a/compiler/cmm/CmmStackLayout.hs b/compiler/cmm/CmmStackLayout.hs
index ab00100bfe34e7e8960e98a5050a1e75b0fb6ee5..be16f19c06246a73c75906f9c79e2c37964e2e8b 100644
--- a/compiler/cmm/CmmStackLayout.hs
+++ b/compiler/cmm/CmmStackLayout.hs
@@ -18,7 +18,6 @@ import MkZipCfg
 import MkZipCfgCmm hiding (CmmBlock, CmmGraph)
 import Monad
 import Outputable
-import Panic
 import SMRep (ByteOff)
 import ZipCfg
 import ZipCfg as Z
diff --git a/compiler/cmm/DFMonad.hs b/compiler/cmm/DFMonad.hs
index bc64ed6eaea74fa8e55e1f8152b853a48db84acf..4c254e68aad251d279738f44cd5dcf247798610e 100644
--- a/compiler/cmm/DFMonad.hs
+++ b/compiler/cmm/DFMonad.hs
@@ -16,7 +16,6 @@ import CmmTx
 import PprCmm()
 import OptimizationFuel
 
-import Control.Monad
 import Maybes
 import Outputable
 import UniqSupply
diff --git a/compiler/cmm/PprCmmZ.hs b/compiler/cmm/PprCmmZ.hs
index e9199ffd82debd242417482fae87cf722f6ef596..4d8cc5168e399175296feed0a67cc1feb17d47b6 100644
--- a/compiler/cmm/PprCmmZ.hs
+++ b/compiler/cmm/PprCmmZ.hs
@@ -6,7 +6,6 @@ where
 
 import BlockId
 import Cmm
-import CmmExpr
 import PprCmm
 import Outputable
 import qualified ZipCfgCmmRep as G
diff --git a/compiler/cmm/ZipDataflow.hs b/compiler/cmm/ZipDataflow.hs
index 17212bb3af6c942376163efade4e1e46a4d944b8..92fc37518124dc333b03bf0c9a78f0f29124bcf2 100644
--- a/compiler/cmm/ZipDataflow.hs
+++ b/compiler/cmm/ZipDataflow.hs
@@ -29,10 +29,8 @@ import qualified ZipCfg as G
 
 import Maybes
 import Outputable
-import Panic
 
 import Control.Monad
-import Maybe
 
 {- 
 
diff --git a/compiler/codeGen/CgCon.lhs b/compiler/codeGen/CgCon.lhs
index 532965c084c59986d9a33d2696ef9e3de4d7de5c..8259584c4105b158bd02008110fa8b9136741455 100644
--- a/compiler/codeGen/CgCon.lhs
+++ b/compiler/codeGen/CgCon.lhs
@@ -48,8 +48,6 @@ import ListSetOps
 import Util
 import FastString
 import StaticFlags
-
-import Control.Monad
 \end{code}
 
 
diff --git a/compiler/codeGen/CgInfoTbls.hs b/compiler/codeGen/CgInfoTbls.hs
index 5b989f8fe26dfd29adc74be219ccd5df34d17f8f..f704a69c186fdd6ed1d89034714e088d2d772309 100644
--- a/compiler/codeGen/CgInfoTbls.hs
+++ b/compiler/codeGen/CgInfoTbls.hs
@@ -39,7 +39,6 @@ import DataCon
 import Unique
 import StaticFlags
 
-import Maybes
 import Constants
 import Util
 import Outputable
diff --git a/compiler/codeGen/CgLetNoEscape.lhs b/compiler/codeGen/CgLetNoEscape.lhs
index 14f5fb8269cc910d6e9bf6f5adabe53538e14804..5870cece99b1da8b4bae91cdcb5dd2cb15f1f840 100644
--- a/compiler/codeGen/CgLetNoEscape.lhs
+++ b/compiler/codeGen/CgLetNoEscape.lhs
@@ -30,7 +30,6 @@ import CLabel
 import ClosureInfo
 import CostCentre
 import Id
-import Var
 import SMRep
 import BasicTypes
 \end{code}
diff --git a/compiler/codeGen/CgProf.hs b/compiler/codeGen/CgProf.hs
index 24efe3a009086949971a09bd9be61718449dd8a7..7750c0f08ef8861bcd0f42f02be6909794ecf24b 100644
--- a/compiler/codeGen/CgProf.hs
+++ b/compiler/codeGen/CgProf.hs
@@ -50,7 +50,6 @@ import FastString
 import Constants	-- Lots of field offsets
 import Outputable
 
-import Data.Maybe
 import Data.Char
 import Control.Monad
 
diff --git a/compiler/codeGen/CodeGen.lhs b/compiler/codeGen/CodeGen.lhs
index a7ecf84df93cdff5dc8cb5e910381b2c17259549..106fcc1cf1af08957f46394790d2b1fa8527db1e 100644
--- a/compiler/codeGen/CodeGen.lhs
+++ b/compiler/codeGen/CodeGen.lhs
@@ -41,7 +41,6 @@ import HscTypes
 import CostCentre
 import Id
 import Name
-import OccName
 import TyCon
 import Module
 import ErrUtils
diff --git a/compiler/codeGen/StgCmm.hs b/compiler/codeGen/StgCmm.hs
index ee1983c34b0e64f2415481a6f2b6ca3ae79eee44..84edcce21c0fa9eb3aabb27a2177fa9470961b30 100644
--- a/compiler/codeGen/StgCmm.hs
+++ b/compiler/codeGen/StgCmm.hs
@@ -41,7 +41,6 @@ import IdInfo
 import Type
 import DataCon
 import Name
-import OccName
 import TyCon
 import Module
 import ErrUtils
diff --git a/compiler/codeGen/StgCmmBind.hs b/compiler/codeGen/StgCmmBind.hs
index dbeab2b337503363c6dd690c336e8256dee8818a..64d3ef1794fa62abe1a59bb4599409c34d37c3c1 100644
--- a/compiler/codeGen/StgCmmBind.hs
+++ b/compiler/codeGen/StgCmmBind.hs
@@ -47,8 +47,6 @@ import Outputable
 import FastString
 import Maybes
 
-import Data.List
-
 ------------------------------------------------------------------------
 --		Top-level bindings
 ------------------------------------------------------------------------
diff --git a/compiler/codeGen/StgCmmClosure.hs b/compiler/codeGen/StgCmmClosure.hs
index d4789be8e7361fe4340b06e4b57f9b5a9866f446..d66dda5021ede1548488033513cbcdff8170f76e 100644
--- a/compiler/codeGen/StgCmmClosure.hs
+++ b/compiler/codeGen/StgCmmClosure.hs
@@ -82,7 +82,6 @@ import Id
 import IdInfo
 import DataCon
 import Name
-import OccName
 import Type
 import TypeRep
 import TcType
diff --git a/compiler/codeGen/StgCmmEnv.hs b/compiler/codeGen/StgCmmEnv.hs
index 67d82f08cd42a801a420d9174b451681fa9fd0e2..a1ba60658404bc5198aef1f8bdf2050b654accb2 100644
--- a/compiler/codeGen/StgCmmEnv.hs
+++ b/compiler/codeGen/StgCmmEnv.hs
@@ -41,7 +41,6 @@ import FastString
 import PprCmm		( {- instance Outputable -} )
 import Id
 import VarEnv
-import Maybes
 import Monad
 import Name
 import StgSyn
diff --git a/compiler/codeGen/StgCmmHeap.hs b/compiler/codeGen/StgCmmHeap.hs
index 817a896591855fd70b921b23353c67555082c156..a02d2e24a373495d57c9c4df82fe8eb907053226 100644
--- a/compiler/codeGen/StgCmmHeap.hs
+++ b/compiler/codeGen/StgCmmHeap.hs
@@ -42,7 +42,6 @@ import CostCentre
 import Outputable
 import FastString( LitString, mkFastString, sLit )
 import Constants
-import Data.List
 
 
 -----------------------------------------------------------
diff --git a/compiler/codeGen/StgCmmLayout.hs b/compiler/codeGen/StgCmmLayout.hs
index 9e7263c0917c7eedb7dceed8de99cad6fb4241bb..84d4ef0362c1fa05ba3d9d1eab27fca1cfc07922 100644
--- a/compiler/codeGen/StgCmmLayout.hs
+++ b/compiler/codeGen/StgCmmLayout.hs
@@ -59,7 +59,6 @@ import StaticFlags
 import Bitmap
 import Data.Bits
 
-import Maybes
 import Constants
 import Util
 import Data.List
diff --git a/compiler/codeGen/StgCmmProf.hs b/compiler/codeGen/StgCmmProf.hs
index bae8694cfffcb766ed2c611ab0c4130662b1a920..6fb20f8f46b90e1a689a037a5285f3410e4496e6 100644
--- a/compiler/codeGen/StgCmmProf.hs
+++ b/compiler/codeGen/StgCmmProf.hs
@@ -52,7 +52,6 @@ import FastString
 import Constants	-- Lots of field offsets
 import Outputable
 
-import Data.Maybe
 import Data.Char
 import Control.Monad
 
diff --git a/compiler/codeGen/StgCmmUtils.hs b/compiler/codeGen/StgCmmUtils.hs
index eb437a9c3d0a34ee1a0f774e91c8cd0f176afb24..357ca2c5b6419610334563946af9b3c4e84d48dc 100644
--- a/compiler/codeGen/StgCmmUtils.hs
+++ b/compiler/codeGen/StgCmmUtils.hs
@@ -50,7 +50,6 @@ import StgCmmMonad
 import StgCmmClosure
 import BlockId
 import Cmm
-import CmmExpr
 import MkZipCfgCmm
 import CLabel
 import CmmUtils
diff --git a/compiler/coreSyn/CoreArity.lhs b/compiler/coreSyn/CoreArity.lhs
index d57c895d151befba393ef365c83a56955bc8e087..28732b31983eca9e2e75ed595f37da315a79b815 100644
--- a/compiler/coreSyn/CoreArity.lhs
+++ b/compiler/coreSyn/CoreArity.lhs
@@ -34,9 +34,6 @@ import Outputable
 import DynFlags
 import StaticFlags	( opt_NoStateHack )
 import FastString
-import Maybes
-
-import GHC.Exts		-- For `xori` 
 \end{code}
 
 %************************************************************************
diff --git a/compiler/coreSyn/CoreTidy.lhs b/compiler/coreSyn/CoreTidy.lhs
index 11e45b154d9d55db333db473c7c903aecb9293b3..ff68b129f0c9d46924b54aa53c278156de0d3b19 100644
--- a/compiler/coreSyn/CoreTidy.lhs
+++ b/compiler/coreSyn/CoreTidy.lhs
@@ -22,7 +22,6 @@ import Var
 import VarEnv
 import UniqFM
 import Name hiding (tidyNameOcc)
-import OccName
 import SrcLoc
 import Maybes
 
diff --git a/compiler/coreSyn/MkCore.lhs b/compiler/coreSyn/MkCore.lhs
index c7e88be9e5b397d752937a59d22fedf65f010158..f67c78ad0526d4f2380fb38b00ea7abd024437c7 100644
--- a/compiler/coreSyn/MkCore.lhs
+++ b/compiler/coreSyn/MkCore.lhs
@@ -50,7 +50,6 @@ import TysWiredIn
 import PrelNames
 
 import Type
-import TypeRep
 import TysPrim          ( alphaTyVar )
 import DataCon          ( DataCon, dataConWorkId )
 
diff --git a/compiler/deSugar/Coverage.lhs b/compiler/deSugar/Coverage.lhs
index 4d85e9016e69abd1e48f6095be6d7ab738605129..8260cfb4737e6c8169cd92e144c67ac7c87236d4 100644
--- a/compiler/deSugar/Coverage.lhs
+++ b/compiler/deSugar/Coverage.lhs
@@ -27,7 +27,6 @@ import FiniteMap
 
 import Data.Array
 import Data.Maybe
-import System.IO   (FilePath)
 import System.Directory ( createDirectoryIfMissing )
 
 import Trace.Hpc.Mix
diff --git a/compiler/deSugar/DsBinds.lhs b/compiler/deSugar/DsBinds.lhs
index e65da3cf9ba13e161f746f46ea9174e62929e835..0c8e37a0bba96f79296f9cf79cf2e6d014062263 100644
--- a/compiler/deSugar/DsBinds.lhs
+++ b/compiler/deSugar/DsBinds.lhs
@@ -41,7 +41,6 @@ import Var	( Var, TyVar )
 import VarSet
 import Rules
 import VarEnv
-import Type
 import Outputable
 import SrcLoc
 import Maybes
diff --git a/compiler/deSugar/DsCCall.lhs b/compiler/deSugar/DsCCall.lhs
index 2034e3733e4572ea44af6c46d3787b6369e69cfa..27dff948394a72451cacebe797a8545d33b4115c 100644
--- a/compiler/deSugar/DsCCall.lhs
+++ b/compiler/deSugar/DsCCall.lhs
@@ -24,7 +24,6 @@ import DsMonad
 import CoreUtils
 import MkCore
 import Var
-import Id
 import MkId
 import Maybes
 import ForeignCall
diff --git a/compiler/deSugar/DsExpr.lhs b/compiler/deSugar/DsExpr.lhs
index ef28c55d35f4c8a4c828bd0f9f284b511feffb5f..2eca842eb009d6429e14bea7044e6ac7e2385754 100644
--- a/compiler/deSugar/DsExpr.lhs
+++ b/compiler/deSugar/DsExpr.lhs
@@ -29,7 +29,6 @@ import Name
 import NameEnv
 
 #ifdef GHCI
-import PrelNames
 	-- Template Haskell stuff iff bootstrapped
 import DsMeta
 #endif
diff --git a/compiler/deSugar/DsMeta.hs b/compiler/deSugar/DsMeta.hs
index 87afbbe6a32d582616d8daf6194424bec43e0bcf..ab40ab1e2b529b5585fd23024b8e8be2cd1f25a1 100644
--- a/compiler/deSugar/DsMeta.hs
+++ b/compiler/deSugar/DsMeta.hs
@@ -25,7 +25,6 @@ module DsMeta( dsBracket,
 import {-# SOURCE #-}	DsExpr ( dsExpr )
 
 import MatchLit
-import DsUtils
 import DsMonad
 
 import qualified Language.Haskell.TH as TH
diff --git a/compiler/deSugar/DsMonad.lhs b/compiler/deSugar/DsMonad.lhs
index 83a5d212ae84eb720408de651dc585db50676ba0..58a154a93c9269726fbab8b97a2b357b6776bf66 100644
--- a/compiler/deSugar/DsMonad.lhs
+++ b/compiler/deSugar/DsMonad.lhs
@@ -53,10 +53,8 @@ import Type
 import UniqSupply
 import Name
 import NameEnv
-import OccName
 import DynFlags
 import ErrUtils
-import MonadUtils
 import FastString
 
 import Data.IORef
diff --git a/compiler/deSugar/MatchCon.lhs b/compiler/deSugar/MatchCon.lhs
index 2912e29a6f662aff3c84c15ac423dd15e0e264c9..9ec7f3570633593936222b362acc5d04d55f5bf2 100644
--- a/compiler/deSugar/MatchCon.lhs
+++ b/compiler/deSugar/MatchCon.lhs
@@ -23,7 +23,6 @@ import HsSyn
 import DsBinds
 import DataCon
 import TcType
-import Type
 import CoreSyn
 import MkCore
 import DsMonad
diff --git a/compiler/deSugar/MatchLit.lhs b/compiler/deSugar/MatchLit.lhs
index 2da52c78b03ffb977b40a20e549223c84484162b..9d3ff49f620dc09dab2d7bc79604b0b93e82fbdb 100644
--- a/compiler/deSugar/MatchLit.lhs
+++ b/compiler/deSugar/MatchLit.lhs
@@ -27,10 +27,8 @@ import TyCon
 import DataCon
 import TcHsSyn	( shortCutLit )
 import TcType
-import Type
 import PrelNames
 import TysWiredIn
-import Unique
 import Literal
 import SrcLoc
 import Ratio
diff --git a/compiler/ghci/ByteCodeAsm.lhs b/compiler/ghci/ByteCodeAsm.lhs
index 4d360e1ffe3cbf4f8e8904cd9c09e6ed418c6e0a..b1ef67e17ec9654596ce12e38ea4a9b5735e4bbc 100644
--- a/compiler/ghci/ByteCodeAsm.lhs
+++ b/compiler/ghci/ByteCodeAsm.lhs
@@ -30,7 +30,6 @@ import PrimOp
 import Constants
 import FastString
 import SMRep
-import FiniteMap
 import Outputable
 
 import Control.Monad	( foldM )
@@ -41,18 +40,9 @@ import Data.Array.Unboxed ( listArray )
 import Data.Array.Base	( UArray(..) )
 import Data.Array.ST	( castSTUArray )
 import Foreign
-import Data.Bits
-import Data.Int		( Int64 )
 import Data.Char	( ord )
 
 import GHC.Base		( ByteArray#, MutableByteArray#, RealWorld )
-import GHC.Ptr		( Ptr(..) )
-
-#if __GLASGOW_HASKELL__ >= 611
-import GHC.IO ( IO(..) )
-#else
-import GHC.IOBase ( IO(..) )
-#endif
 
 -- -----------------------------------------------------------------------------
 -- Unlinked BCOs
diff --git a/compiler/ghci/Linker.lhs b/compiler/ghci/Linker.lhs
index 8ca0bfc289f7104893b0afcdc5eca7f844016178..21a206490e66ebdb8ab6b1090d6e525f118e9329 100644
--- a/compiler/ghci/Linker.lhs
+++ b/compiler/ghci/Linker.lhs
@@ -50,12 +50,10 @@ import ListSetOps
 import DynFlags
 import BasicTypes
 import Outputable
-import PackageConfig
 import Panic
 import Util
 import StaticFlags
 import ErrUtils
-import DriverPhases
 import SrcLoc
 import qualified Maybes
 import UniqSet
diff --git a/compiler/hsSyn/HsLit.lhs b/compiler/hsSyn/HsLit.lhs
index bd125106e2d0e1c7177021d52d1a333bb050b5b0..9a0e8750e6bdf8193faf56f93850585407fe9e27 100644
--- a/compiler/hsSyn/HsLit.lhs
+++ b/compiler/hsSyn/HsLit.lhs
@@ -14,7 +14,6 @@ import HsTypes (PostTcType)
 import Type	( Type )
 import Outputable
 import FastString
-import Ratio	( Rational )
 \end{code}
 
 
diff --git a/compiler/iface/BinIface.hs b/compiler/iface/BinIface.hs
index 72a62a66de2e40a491dd59d6979f24bece3338b0..679494b0a51704f6978755cd8b232948ec8a6800 100644
--- a/compiler/iface/BinIface.hs
+++ b/compiler/iface/BinIface.hs
@@ -22,9 +22,7 @@ import Annotations
 import IfaceSyn
 import Module
 import Name
-import OccName
 import VarEnv
-import InstEnv
 import Class
 import DynFlags
 import UniqFM
diff --git a/compiler/iface/BuildTyCl.lhs b/compiler/iface/BuildTyCl.lhs
index 9213afd4ce3a699b61c871bb4bba1dbeb8a2152e..ba383d8d1d0fb9f1c0b122b8e54eb9ab9545a946 100644
--- a/compiler/iface/BuildTyCl.lhs
+++ b/compiler/iface/BuildTyCl.lhs
@@ -20,7 +20,6 @@ import Var
 import VarSet
 import BasicTypes
 import Name
-import OccName
 import MkId
 import Class
 import TyCon
@@ -30,8 +29,6 @@ import Coercion
 import TcRnMonad
 import Util		( count )
 import Outputable
-
-import Data.List
 \end{code}
 	
 
diff --git a/compiler/iface/IfaceEnv.lhs b/compiler/iface/IfaceEnv.lhs
index ab1f9057e2ddbfa3d1bf0e083af1c8eddeaaf8c0..05c628995011598913202b7ef4f9e62a33630f55 100644
--- a/compiler/iface/IfaceEnv.lhs
+++ b/compiler/iface/IfaceEnv.lhs
@@ -26,7 +26,6 @@ import TyCon
 import DataCon
 import Var
 import Name
-import OccName
 import PrelNames
 import Module
 import LazyUniqFM
diff --git a/compiler/iface/LoadIface.lhs b/compiler/iface/LoadIface.lhs
index e468fe905b03d11333bb4dba1b006f5618c9657c..1412b0005b288fa9d618eec1cdbee8486eeca144 100644
--- a/compiler/iface/LoadIface.lhs
+++ b/compiler/iface/LoadIface.lhs
@@ -28,7 +28,6 @@ import HscTypes
 
 import BasicTypes hiding (SuccessFlag(..))
 import TcRnMonad
-import Type
 
 import PrelNames
 import PrelInfo
@@ -39,9 +38,7 @@ import InstEnv
 import FamInstEnv
 import Name
 import NameEnv
-import MkId
 import Module
-import OccName
 import Maybes
 import ErrUtils
 import Finder
@@ -55,8 +52,6 @@ import FastString
 import Fingerprint
 
 import Control.Monad
-import Data.List
-import Data.Maybe
 \end{code}
 
 
diff --git a/compiler/iface/MkIface.lhs b/compiler/iface/MkIface.lhs
index 478d7d3e0b8f6ced9feebdc30a295765ea69b34a..c929d96509b4aad5607047c45b0762b9f202c128 100644
--- a/compiler/iface/MkIface.lhs
+++ b/compiler/iface/MkIface.lhs
@@ -51,7 +51,6 @@ Basic idea:
 #include "HsVersions.h"
 
 import IfaceSyn
-import IfaceType
 import LoadIface
 import Id
 import IdInfo
@@ -77,7 +76,6 @@ import Name
 import RdrName
 import NameEnv
 import NameSet
-import OccName
 import Module
 import BinIface
 import ErrUtils
@@ -95,7 +93,6 @@ import ListSetOps
 import Binary
 import Fingerprint
 import Bag
-import Panic
 
 import Control.Monad
 import Data.List
diff --git a/compiler/iface/TcIface.lhs b/compiler/iface/TcIface.lhs
index 61475dee6ca22e3b134b84e2e2e9cf3801032872..7db955162fb2122ecd2161db8a036eb492163266 100644
--- a/compiler/iface/TcIface.lhs
+++ b/compiler/iface/TcIface.lhs
@@ -42,7 +42,6 @@ import qualified Var
 import VarEnv
 import Name
 import NameEnv
-import OccName
 import Module
 import LazyUniqFM
 import UniqSupply
@@ -57,7 +56,6 @@ import BasicTypes (Arity)
 
 import Control.Monad
 import Data.List
-import Data.Maybe
 \end{code}
 
 This module takes
diff --git a/compiler/main/CodeOutput.lhs b/compiler/main/CodeOutput.lhs
index 3b45a38d6a9e48ffb2ff8043637660fd3cf35856..3c82ea7508fe6a56dae42f661d4ab751000ff6fa 100644
--- a/compiler/main/CodeOutput.lhs
+++ b/compiler/main/CodeOutput.lhs
@@ -33,7 +33,6 @@ import Outputable
 import Module
 import Maybes		( firstJust )
 
-import Distribution.Text
 import Directory	( doesFileExist )
 import Monad		( when )
 import IO
diff --git a/compiler/main/Finder.lhs b/compiler/main/Finder.lhs
index ac0eff8e2b0e11b91aa1cb5a4d5647f650b5003b..cc19e317cde7825115da0cccf5abe0e8efb9d30f 100644
--- a/compiler/main/Finder.lhs
+++ b/compiler/main/Finder.lhs
@@ -40,10 +40,8 @@ import Maybes		( expectJust )
 
 import Distribution.Package hiding (PackageId)
 import Data.IORef	( IORef, writeIORef, readIORef, modifyIORef )
-import Data.List
 import System.Directory
 import System.FilePath
-import System.IO
 import Control.Monad
 import System.Time	( ClockTime )
 
diff --git a/compiler/main/GHC.hs b/compiler/main/GHC.hs
index 8cf16666e59c71f62b6e9c11a68bb5abe427f6d8..b00f79f150b63e9efd13fbe4ac66328ba12b0cd5 100644
--- a/compiler/main/GHC.hs
+++ b/compiler/main/GHC.hs
@@ -245,7 +245,6 @@ import qualified Linker
 import Linker           ( HValue )
 import ByteCodeInstr
 import BreakArray
-import NameSet
 import InteractiveEval
 import TcRnDriver
 #endif
diff --git a/compiler/main/HscTypes.lhs b/compiler/main/HscTypes.lhs
index f23ff5831e83d45139e9cb56dd6bdf57d5a1f377..05c17abeb9de176c8bb31f24a304d56753e7fafd 100644
--- a/compiler/main/HscTypes.lhs
+++ b/compiler/main/HscTypes.lhs
@@ -117,8 +117,6 @@ import RdrName
 import Name
 import NameEnv
 import NameSet	
-import OccName		( OccName, OccEnv, lookupOccEnv, mkOccEnv, emptyOccEnv, 
-			  extendOccEnv )
 import Module
 import InstEnv		( InstEnv, Instance )
 import FamInstEnv	( FamInstEnv, FamInst )
@@ -139,7 +137,7 @@ import Packages hiding ( Version(..) )
 import DynFlags		( DynFlags(..), isOneShot, HscTarget (..), dopt,
                           DynFlag(..) )
 import DriverPhases	( HscSource(..), isHsBoot, hscSourceString, Phase )
-import BasicTypes	( IPName, Fixity, defaultFixity, WarningTxt(..) )
+import BasicTypes	( IPName, defaultFixity, WarningTxt(..) )
 import OptimizationFuel	( OptFuelState )
 import IfaceSyn
 import FiniteMap	( FiniteMap )
diff --git a/compiler/main/PprTyThing.hs b/compiler/main/PprTyThing.hs
index 24790289215c8cab801ecd3092c7d6768a340ff6..d87ffa1bf5f4e7a2a2ad3b2684738f0f1c8d79e0 100644
--- a/compiler/main/PprTyThing.hs
+++ b/compiler/main/PprTyThing.hs
@@ -20,7 +20,6 @@ import qualified GHC
 
 import GHC ( TyThing(..) )
 import TyCon
-import Type ( TyThing(..), tidyTopType, pprTypeApp )
 import TcType
 import Var
 import Name
diff --git a/compiler/main/SysTools.lhs b/compiler/main/SysTools.lhs
index 26c85bdc2c8dd67c3a004d5692d9aaedc03a1698..bb706df440d3d886c098d6bd9b375413a00d6f3b 100644
--- a/compiler/main/SysTools.lhs
+++ b/compiler/main/SysTools.lhs
@@ -55,7 +55,6 @@ import System.IO
 import System.IO.Error as IO
 import System.Directory
 import Data.Char
-import Data.Maybe
 import Data.List
 
 #ifndef mingw32_HOST_OS
diff --git a/compiler/main/TidyPgm.lhs b/compiler/main/TidyPgm.lhs
index 5c78927c7de8ddca8bda0a270b08a6e9b8b90077..530e54ccac8505e8eea82c8d5c0a18d81bf66f3c 100644
--- a/compiler/main/TidyPgm.lhs
+++ b/compiler/main/TidyPgm.lhs
@@ -33,7 +33,6 @@ import Name
 import NameSet
 import IfaceEnv
 import NameEnv
-import OccName
 import TcType
 import DataCon
 import TyCon
@@ -46,7 +45,6 @@ import Outputable
 import FastBool hiding ( fastOr )
 
 import Data.List	( partition )
-import Data.Maybe	( isJust )
 import Data.IORef	( IORef, readIORef, writeIORef )
 \end{code}
 
diff --git a/compiler/nativeGen/Reg.hs b/compiler/nativeGen/Reg.hs
index 4819d0f3c74a456ed5cb6524bea1e356ba6394b4..1da72c4cefffea7f10aeb4a9887b6730dab8b358 100644
--- a/compiler/nativeGen/Reg.hs
+++ b/compiler/nativeGen/Reg.hs
@@ -29,7 +29,6 @@ where
 
 import Outputable
 import Unique
-import Panic
 import RegClass
 import Data.List
 
diff --git a/compiler/nativeGen/RegAlloc/Graph/Coalesce.hs b/compiler/nativeGen/RegAlloc/Graph/Coalesce.hs
index 8521e9260153956465fa1c7e08440a7d7c29b64d..74eb0c2f55ced3d34a1284206cdfe0fbc04f583c 100644
--- a/compiler/nativeGen/RegAlloc/Graph/Coalesce.hs
+++ b/compiler/nativeGen/RegAlloc/Graph/Coalesce.hs
@@ -18,7 +18,6 @@ import UniqFM
 import UniqSet
 import UniqSupply
 
-import Control.Monad
 import Data.List
 
 -- | Do register coalescing on this top level thing
diff --git a/compiler/nativeGen/RegAlloc/Graph/Main.hs b/compiler/nativeGen/RegAlloc/Graph/Main.hs
index 4ffcfee355f693f96613ac970f4df743cb56b44e..5fa771cfb8b97c3332d681c42120c32f43107dc6 100644
--- a/compiler/nativeGen/RegAlloc/Graph/Main.hs
+++ b/compiler/nativeGen/RegAlloc/Graph/Main.hs
@@ -11,7 +11,6 @@ module RegAlloc.Graph.Main (
 where
 
 import qualified GraphColor	as Color
-import qualified GraphBase	as Color
 import RegAlloc.Liveness
 import RegAlloc.Graph.Spill
 import RegAlloc.Graph.SpillClean
diff --git a/compiler/nativeGen/RegAlloc/Graph/Spill.hs b/compiler/nativeGen/RegAlloc/Graph/Spill.hs
index ce34b513a1283fb162d06705dab9d5102c004a1d..f9a2586f5a8c5b83bea991996673ec918089c909 100644
--- a/compiler/nativeGen/RegAlloc/Graph/Spill.hs
+++ b/compiler/nativeGen/RegAlloc/Graph/Spill.hs
@@ -22,7 +22,6 @@ import UniqSupply
 import Outputable
 
 import Data.List
-import Data.Maybe
 
 
 -- | Spill all these virtual regs to memory
diff --git a/compiler/nativeGen/RegAlloc/Graph/SpillClean.hs b/compiler/nativeGen/RegAlloc/Graph/SpillClean.hs
index 9d0dcf9236147c08a0d0fcd3be8927f653f471e6..b7b7475aec0cca200fcc5cb6a334e3a3e1be8c03 100644
--- a/compiler/nativeGen/RegAlloc/Graph/SpillClean.hs
+++ b/compiler/nativeGen/RegAlloc/Graph/SpillClean.hs
@@ -42,7 +42,6 @@ import State
 import Outputable
 import Util
 
-import Data.Maybe
 import Data.List        ( find, nub )
 
 --
diff --git a/compiler/nativeGen/RegAlloc/Graph/SpillCost.hs b/compiler/nativeGen/RegAlloc/Graph/SpillCost.hs
index ff3f76a545ac9c80ffbdac91518a1973fb5cec6f..9de48d5cd8e7717e179ed7a7eb4035ef1c649c8b 100644
--- a/compiler/nativeGen/RegAlloc/Graph/SpillCost.hs
+++ b/compiler/nativeGen/RegAlloc/Graph/SpillCost.hs
@@ -33,7 +33,6 @@ import State
 
 import Data.List	(nub, minimumBy)
 import Data.Maybe
-import Control.Monad
 
 type SpillCostRecord
  = 	( VirtualReg	-- register name
diff --git a/compiler/nativeGen/RegAlloc/Linear/X86/FreeRegs.hs b/compiler/nativeGen/RegAlloc/Linear/X86/FreeRegs.hs
index db3d8a354f672eddcd999949cd0256600c013bad..4ba637f9b735fd548fef2a3ea6987b545a3e32be 100644
--- a/compiler/nativeGen/RegAlloc/Linear/X86/FreeRegs.hs
+++ b/compiler/nativeGen/RegAlloc/Linear/X86/FreeRegs.hs
@@ -10,7 +10,6 @@ import Panic
 
 import Data.Word
 import Data.Bits
-import Data.List
 
 type FreeRegs 
 	= Word32
diff --git a/compiler/nativeGen/SPARC/Instr.hs b/compiler/nativeGen/SPARC/Instr.hs
index 5cb28d5c40d3ba28ab7efd914e4adef898ae929b..87b6abc317282508b36a94e22f646fb35a49d127 100644
--- a/compiler/nativeGen/SPARC/Instr.hs
+++ b/compiler/nativeGen/SPARC/Instr.hs
@@ -43,8 +43,6 @@ import FastString
 import FastBool
 import Outputable
 
-import GHC.Exts
-
 
 -- | Register or immediate
 data RI 
diff --git a/compiler/nativeGen/X86/Instr.hs b/compiler/nativeGen/X86/Instr.hs
index 7e11d233639d4398ce00a2fd49779661964b0ffc..5d731bd88dc369c0bfb0896edfd8e8136649199f 100644
--- a/compiler/nativeGen/X86/Instr.hs
+++ b/compiler/nativeGen/X86/Instr.hs
@@ -28,7 +28,6 @@ import Outputable
 import Constants	(rESERVED_C_STACK_BYTES)
 
 import CLabel
-import Panic
 
 -- Size of a PPC memory address, in bytes.
 --
diff --git a/compiler/parser/HaddockUtils.hs b/compiler/parser/HaddockUtils.hs
index ea73911c996516b394730a57432abc9626974398..b84692a6b18d197006ee70b05d4985e46752636c 100644
--- a/compiler/parser/HaddockUtils.hs
+++ b/compiler/parser/HaddockUtils.hs
@@ -2,16 +2,13 @@
 module HaddockUtils where
 
 import HsSyn
-import HsDoc
 import {-# SOURCE #-} HaddockLex
 import HaddockParse
 import SrcLoc
 import RdrName
 
 import Control.Monad
-import Data.Maybe
 import Data.Char
-import Data.Either
 
 -- -----------------------------------------------------------------------------
 -- Parsing module headers
diff --git a/compiler/rename/RnEnv.lhs b/compiler/rename/RnEnv.lhs
index 2ecaf612954c63302e2c74cf2c979ab4a69ce752..955786b3239d4fb33f2de26fccd1f900f76b9157 100644
--- a/compiler/rename/RnEnv.lhs
+++ b/compiler/rename/RnEnv.lhs
@@ -57,7 +57,7 @@ import Module		( Module, ModuleName )
 import PrelNames	( mkUnboundName, rOOT_MAIN, iNTERACTIVE, 
 			  consDataConKey, hasKey, forall_tv_RDR )
 import UniqSupply
-import BasicTypes	( IPName, mapIPName, Fixity )
+import BasicTypes
 import ErrUtils		( Message )
 import SrcLoc
 import Outputable
diff --git a/compiler/rename/RnExpr.lhs b/compiler/rename/RnExpr.lhs
index c459b70c5bf7fc324434a2810d030a8d91c4f2bf..86b41ae275d7053d6dd25790039ea78d33cd2999 100644
--- a/compiler/rename/RnExpr.lhs
+++ b/compiler/rename/RnExpr.lhs
@@ -50,7 +50,6 @@ import SrcLoc
 import FastString
 
 import List		( unzip4 )
-import Control.Monad
 \end{code}
 
 
diff --git a/compiler/rename/RnHsDoc.hs b/compiler/rename/RnHsDoc.hs
index c556d2c3da4973ea5f30543b52b34e6ee7d1099c..4d10edca5e90622260cf94becbab9f63bd55f456 100644
--- a/compiler/rename/RnHsDoc.hs
+++ b/compiler/rename/RnHsDoc.hs
@@ -2,7 +2,6 @@
 module RnHsDoc ( rnHaddock, rnHsDoc, rnLHsDoc, rnMbLHsDoc ) where
 
 import TcRnTypes
-import TcRnMonad   ( RnM )
 import RnEnv       ( dataTcOccs, lookupGreRn_maybe )
 import HsSyn
 
diff --git a/compiler/rename/RnSource.lhs b/compiler/rename/RnSource.lhs
index 052b7e03d6c922232463cc6c8eae613680d45847..674ec78203e2629e898411842d1b5082f1483f0d 100644
--- a/compiler/rename/RnSource.lhs
+++ b/compiler/rename/RnSource.lhs
@@ -46,7 +46,6 @@ import Maybe            ( isNothing )
 import BasicTypes       ( Boxity(..) )
 
 import ListSetOps    (findDupsEq)
-import List
 
 import Control.Monad
 \end{code}
diff --git a/compiler/simplCore/CoreMonad.lhs b/compiler/simplCore/CoreMonad.lhs
index ae45ba40790f1e9b8f42dfa849ec36b00a9e30b7..a231103ec8a4edc85aeb292727fb922c17a1ca5d 100644
--- a/compiler/simplCore/CoreMonad.lhs
+++ b/compiler/simplCore/CoreMonad.lhs
@@ -55,7 +55,6 @@ import TcRnMonad        ( TcM, initTc )
 
 import Outputable
 import qualified ErrUtils as Err
-import MonadUtils
 import Maybes
 import UniqSupply
 
@@ -63,7 +62,6 @@ import Data.Dynamic
 import Data.IORef
 import Data.Word
 import Control.Monad
-import Control.Applicative
 
 import Prelude hiding   ( read )
 
diff --git a/compiler/simplCore/SAT.lhs b/compiler/simplCore/SAT.lhs
index ca251568a76aba2c29bf50a7221f480403fbca67..08bb1ecf4080e7e8a073d83614503b864ec3f42f 100644
--- a/compiler/simplCore/SAT.lhs
+++ b/compiler/simplCore/SAT.lhs
@@ -56,10 +56,8 @@ import Var
 import CoreSyn
 import CoreUtils
 import Type
-import TcType
 import Id
 import Name
-import OccName
 import VarEnv
 import UniqSupply
 import Util
diff --git a/compiler/simplCore/SetLevels.lhs b/compiler/simplCore/SetLevels.lhs
index 9726aa68a0d2b44b9ae231a380297536877b1ee1..0797ad7727eb1fd5a37d22e7a9be2970f8c74def 100644
--- a/compiler/simplCore/SetLevels.lhs
+++ b/compiler/simplCore/SetLevels.lhs
@@ -60,7 +60,7 @@ import CoreUtils	( exprType, exprIsTrivial, mkPiTypes )
 import CoreFVs		-- all of it
 import CoreSubst	( Subst, emptySubst, extendInScope, extendIdSubst,
 			  cloneIdBndr, cloneRecIdBndrs )
-import Id		( Id, idType, mkSysLocal, isOneShotLambda,
+import Id		( idType, mkSysLocal, isOneShotLambda,
 			  zapDemandIdInfo, transferPolyIdInfo,
 			  idSpecialisation, idWorkerInfo, setIdInfo
 			)
diff --git a/compiler/simplStg/SRT.lhs b/compiler/simplStg/SRT.lhs
index 989fa4c1f80a95db872c8e714d889e3b6d8f629e..abad3ce48dfd67cd660b06d5f719747cb4b3ba3d 100644
--- a/compiler/simplStg/SRT.lhs
+++ b/compiler/simplStg/SRT.lhs
@@ -27,8 +27,6 @@ import Bitmap
 
 import Outputable
 
-import List
-
 import Util
 \end{code}
 
diff --git a/compiler/specialise/SpecConstr.lhs b/compiler/specialise/SpecConstr.lhs
index 3a4b38291081acd41bb148564d7b5a74debb31ab..5357a5353958c0b094ca3928e11985082ac2849e 100644
--- a/compiler/specialise/SpecConstr.lhs
+++ b/compiler/specialise/SpecConstr.lhs
@@ -32,7 +32,6 @@ import Var
 import VarEnv
 import VarSet
 import Name
-import OccName		( mkSpecOcc )
 import DynFlags		( DynFlags(..) )
 import StaticFlags	( opt_PprStyle_Debug )
 import StaticFlags	( opt_SpecInlineJoinPoints )
diff --git a/compiler/stgSyn/StgLint.lhs b/compiler/stgSyn/StgLint.lhs
index f2cecf9b0110f073e43cdb189d321194dc87be8b..21db424b43d0db9564f7d56b4890185ec8ce0cd2 100644
--- a/compiler/stgSyn/StgLint.lhs
+++ b/compiler/stgSyn/StgLint.lhs
@@ -20,7 +20,7 @@ import Name             ( getSrcLoc )
 import ErrUtils         ( Message, mkLocMessage )
 import TypeRep
 import Type             ( mkFunTys, splitFunTys, splitTyConApp_maybe,
-                          isUnLiftedType, isTyVarTy, dropForAlls, Type
+                          isUnLiftedType, isTyVarTy, dropForAlls
                         )
 import TyCon            ( isAlgTyCon, isNewTyCon, tyConDataCons )
 import Util             ( zipEqual, equalLength )
diff --git a/compiler/stranal/WorkWrap.lhs b/compiler/stranal/WorkWrap.lhs
index a3219abb2044e780f8cf8a4bbe5a0815b2c968b7..7b124f303f4ac3fe3ed72785a5f523573c4406ed 100644
--- a/compiler/stranal/WorkWrap.lhs
+++ b/compiler/stranal/WorkWrap.lhs
@@ -11,10 +11,7 @@ import CoreUnfold	( certainlyWillInline )
 import CoreUtils	( exprType, exprIsHNF, mkInlineMe )
 import CoreArity	( exprArity )
 import Var
-import Id		( Id, idType, isOneShotLambda, idUnfolding,
-			  setIdNewStrictness, mkWorkerId,
-			  setIdWorkerInfo, setInlineActivation,
-			  setIdArity, idInfo )
+import Id
 import Type		( Type )
 import IdInfo
 import NewDemand        ( Demand(..), StrictSig(..), DmdType(..), DmdResult(..), 
diff --git a/compiler/stranal/WwLib.lhs b/compiler/stranal/WwLib.lhs
index a7050dc0d0166ce643c8f7b5682d03f6e7a0f122..bceb45348779d222735ec2d6cf39fd48fc5ec1ae 100644
--- a/compiler/stranal/WwLib.lhs
+++ b/compiler/stranal/WwLib.lhs
@@ -23,7 +23,7 @@ import TysWiredIn	( tupleCon )
 import Type
 import Coercion         ( mkSymCoercion, splitNewTypeRepCo_maybe )
 import BasicTypes	( Boxity(..) )
-import Var              ( Var, isId )
+import Var              ( Var )
 import UniqSupply
 import Unique
 import Util		( zipWithEqual )
diff --git a/compiler/typecheck/TcBinds.lhs b/compiler/typecheck/TcBinds.lhs
index eae66a89e0ab5c7fe8a8d35c0f394656596e3873..9bf8fafbaa3372fd6b940ad69e56e3e953ac3aef 100644
--- a/compiler/typecheck/TcBinds.lhs
+++ b/compiler/typecheck/TcBinds.lhs
@@ -26,7 +26,6 @@ import TcHsType
 import TcPat
 import TcMType
 import TcType
-import {- Kind parts of -} Type
 import Coercion
 import VarEnv
 import TysPrim
@@ -41,7 +40,6 @@ import Bag
 import ErrUtils
 import Digraph
 import Maybes
-import List
 import Util
 import BasicTypes
 import Outputable
diff --git a/compiler/typecheck/TcEnv.lhs b/compiler/typecheck/TcEnv.lhs
index 14f9541f2950f4d0029bcd408b46ed97f8b76452..2146932b2431a14607a43ccf3315da1147df5aad 100644
--- a/compiler/typecheck/TcEnv.lhs
+++ b/compiler/typecheck/TcEnv.lhs
@@ -70,11 +70,9 @@ import TypeRep
 import Class
 import Name
 import NameEnv
-import OccName
 import HscTypes
 import SrcLoc
 import Outputable
-import Maybes
 import Unique
 import FastString
 \end{code}
diff --git a/compiler/typecheck/TcHsSyn.lhs b/compiler/typecheck/TcHsSyn.lhs
index 6120621095bca212bb537ea9cebdb91d9675f777..7b88356cf2e2e3469b09f44a2e5cf1dca0592123 100644
--- a/compiler/typecheck/TcHsSyn.lhs
+++ b/compiler/typecheck/TcHsSyn.lhs
@@ -48,7 +48,6 @@ import VarEnv
 import Literal
 import BasicTypes
 import Maybes
-import Unique
 import SrcLoc
 import Util
 import Bag
diff --git a/compiler/typecheck/TcHsType.lhs b/compiler/typecheck/TcHsType.lhs
index a63c2cee907628454d2e9c1baad18f60daee5a08..d64461ffd525c7d802727b470a9a3f827b3a1008 100644
--- a/compiler/typecheck/TcHsType.lhs
+++ b/compiler/typecheck/TcHsType.lhs
@@ -43,7 +43,6 @@ import Coercion
 import TyCon
 import Class
 import Name
-import OccName
 import NameSet
 import PrelNames
 import TysWiredIn
@@ -52,8 +51,6 @@ import SrcLoc
 import UniqSupply
 import Outputable
 import FastString
-
-import Control.Monad
 \end{code}
 
 
diff --git a/compiler/typecheck/TcPat.lhs b/compiler/typecheck/TcPat.lhs
index 376385aaa69025f35af9ebc9efa0ccf5c8227bdc..3423196ad8b068feec02bcc6c0c23073e2565c90 100644
--- a/compiler/typecheck/TcPat.lhs
+++ b/compiler/typecheck/TcPat.lhs
@@ -30,7 +30,6 @@ import VarSet
 import TcUnify
 import TcHsType
 import TysWiredIn
-import Type
 import Coercion
 import StaticFlags
 import TyCon
@@ -41,7 +40,6 @@ import DynFlags	( DynFlag( Opt_GADTs ) )
 import SrcLoc
 import ErrUtils
 import Util
-import Maybes
 import Outputable
 import FastString
 import Monad
diff --git a/compiler/typecheck/TcRnMonad.lhs b/compiler/typecheck/TcRnMonad.lhs
index dbe822a222aa87bf0f5c5d76133d52da3cc71acc..2450d7b839efa71445ce483686a4645b1892eb3b 100644
--- a/compiler/typecheck/TcRnMonad.lhs
+++ b/compiler/typecheck/TcRnMonad.lhs
@@ -31,7 +31,6 @@ import ErrUtils
 import SrcLoc
 import NameEnv
 import NameSet
-import OccName
 import Bag
 import Outputable
 import UniqSupply
diff --git a/compiler/typecheck/TcRnTypes.lhs b/compiler/typecheck/TcRnTypes.lhs
index c8d75509a3909714877e5f10de159d823e15d469..daed79dbd48a4b3bb4e27c8404090e175ca67eba 100644
--- a/compiler/typecheck/TcRnTypes.lhs
+++ b/compiler/typecheck/TcRnTypes.lhs
@@ -68,8 +68,6 @@ import Outputable
 import ListSetOps
 import FastString
 
-import Data.Maybe
-import Data.List
 import Data.Set (Set)
 \end{code}
 
diff --git a/compiler/typecheck/TcSimplify.lhs b/compiler/typecheck/TcSimplify.lhs
index 11e202be9b3e57ecfa8e86a58ecfc16bb367eb78..74952e4c5ed01c58891944edd97cab32aba65b38 100644
--- a/compiler/typecheck/TcSimplify.lhs
+++ b/compiler/typecheck/TcSimplify.lhs
@@ -45,7 +45,6 @@ import Class
 import FunDeps
 import PrelInfo
 import PrelNames
-import Type
 import TysWiredIn
 import ErrUtils
 import BasicTypes
@@ -54,7 +53,6 @@ import VarEnv
 import FiniteMap
 import Bag
 import Outputable
-import Maybes
 import ListSetOps
 import Util
 import SrcLoc
diff --git a/compiler/typecheck/TcTyFuns.lhs b/compiler/typecheck/TcTyFuns.lhs
index 6426c924ca1519b16bc3a888b61c8fa075bdb4e7..bf0b16a79a84c7fa7dd766baa97f4613468dd379 100644
--- a/compiler/typecheck/TcTyFuns.lhs
+++ b/compiler/typecheck/TcTyFuns.lhs
@@ -38,7 +38,6 @@ import Bag
 import Outputable
 import SrcLoc	( Located(..) )
 import Maybes
-import MonadUtils
 import FastString
 
 -- standard
diff --git a/compiler/types/FamInstEnv.lhs b/compiler/types/FamInstEnv.lhs
index 5ea2096ae172e71fb74afda2cc175a4cedad6a49..de5c5a0a9e222de065448a9aec3c3e96be1a8b60 100644
--- a/compiler/types/FamInstEnv.lhs
+++ b/compiler/types/FamInstEnv.lhs
@@ -36,8 +36,6 @@ import Outputable
 import Maybes
 import Util
 import FastString
-
-import Maybe
 \end{code}
 
 
diff --git a/compiler/types/Generics.lhs b/compiler/types/Generics.lhs
index 01632d35963183999354deabdd5177da9ec533db..fed023ed52a5359a29c8dc4135a80470d0d33960 100644
--- a/compiler/types/Generics.lhs
+++ b/compiler/types/Generics.lhs
@@ -18,13 +18,11 @@ module Generics ( canDoGenerics, mkTyConGenericBinds,
 
 import HsSyn
 import Type
-import TcHsSyn
 import TcType
 import DataCon
 
 import TyCon
 import Name
-import OccName
 import RdrName
 import BasicTypes
 import Var
diff --git a/compiler/utils/Serialized.hs b/compiler/utils/Serialized.hs
index 06b92e4aa16fb1203e0b5008164861e1293dded4..915ca225a69ab855d6fbdbdfcbba67aa06fa81a9 100644
--- a/compiler/utils/Serialized.hs
+++ b/compiler/utils/Serialized.hs
@@ -29,7 +29,6 @@ import Data.Data
 #else
 import Data.Generics
 #endif
-import Data.Typeable
 
 
 -- | Represents a serialized value of a particular type. Attempts can be made to deserialize it at certain types
diff --git a/compiler/vectorise/VectMonad.hs b/compiler/vectorise/VectMonad.hs
index 8fdfcdb99992e199e62d499fd99bd0bb751c0618..d0b05ac298ecd0c50445a5d7ca2901554491ceb9 100644
--- a/compiler/vectorise/VectMonad.hs
+++ b/compiler/vectorise/VectMonad.hs
@@ -51,7 +51,6 @@ import VarEnv
 import Id
 import Name
 import NameEnv
-import IOEnv         ( liftIO )
 
 import DsMonad
 
diff --git a/compiler/vectorise/Vectorise.hs b/compiler/vectorise/Vectorise.hs
index 777c195a2a37d8b322524943e763739157fc711b..a0e3e1a0685a8071e12d0f13b7785bcf87fcb211 100644
--- a/compiler/vectorise/Vectorise.hs
+++ b/compiler/vectorise/Vectorise.hs
@@ -13,7 +13,7 @@ import Module               ( PackageId )
 import CoreSyn
 import CoreUtils
 import CoreFVs
-import CoreMonad            ( CoreM, getHscEnv, liftIO )
+import CoreMonad            ( CoreM, getHscEnv )
 import DataCon
 import TyCon
 import Type
@@ -24,8 +24,6 @@ import VarSet
 import Id
 import OccName
 
-import DsMonad
-
 import Literal              ( Literal, mkMachInt )
 import TysWiredIn