+import Ubiq
+
+import HsSyn ( FixityDecl, Sig, HsBinds(..), Bind(..), MonoBinds(..),
+ GRHSsAndBinds, Match, HsExpr, HsLit, InPat,
+ ArithSeqInfo, Fake, MonoType )
+import HsPragmas ( InstancePragmas(..) )
+import RnHsSyn ( RenamedHsBinds(..), RenamedFixityDecl(..) )
+import TcHsSyn ( TcIdOcc )
+
+import TcMonad
+import Inst ( InstOrigin(..), InstanceMapper(..) )
+import TcEnv ( getEnv_TyCons )
+import TcKind ( TcKind )
+import TcGenDeriv -- Deriv stuff
+import TcInstUtil ( InstInfo(..), mkInstanceRelatedIds, buildInstanceEnvs )
+import TcSimplify ( tcSimplifyThetas )
+
+import RnMonad4
+import RnUtils ( GlobalNameMappers(..), GlobalNameMapper(..) )
+import RnBinds4 ( rnMethodBinds, rnTopBinds )