-IMP_Ubiq(){-uitous-}
-
-import HsSyn ( TyDecl(..), ConDecl(..), BangType(..), HsExpr(..),
- Match(..), GRHSsAndBinds(..), GRHS(..), OutPat(..),
- HsBinds(..), HsLit, Stmt, Qualifier, ArithSeqInfo,
- PolyType, Fake, InPat,
- Bind(..), MonoBinds(..), Sig,
- MonoType )
-import RnHsSyn ( RenamedTyDecl(..), RenamedConDecl(..),
- RnName{-instance Outputable-}
- )
-import TcHsSyn ( mkHsTyLam, mkHsDictLam, tcIdType,
- TcHsBinds(..), TcIdOcc(..)
- )
-import Inst ( newDicts, InstOrigin(..), Inst )
-import TcMonoType ( tcMonoTypeKind, tcMonoType, tcPolyType, tcContext )
-import TcSimplify ( tcSimplifyThetas )
-import TcType ( tcInstTyVars, tcInstType, tcInstId )
-import TcEnv ( tcLookupTyCon, tcLookupTyVar, tcLookupClass,
- newLocalId, newLocalIds, tcLookupClassByKey
- )
-import TcMonad hiding ( rnMtoTcM )
-import TcKind ( TcKind, unifyKind, mkTcArrowKind, mkTcTypeKind )
-
-import PprType ( GenClass, GenType{-instance Outputable-} )
-import Class ( GenClass{-instance Eq-}, classInstEnv )
-import Id ( mkDataCon, dataConSig, mkRecordSelId, idType,
- dataConFieldLabels, dataConStrictMarks,
- StrictnessMark(..),
- GenId{-instance NamedThing-}
- )
-import FieldLabel
-import Kind ( Kind, mkArrowKind, mkBoxedTypeKind )
-import SpecEnv ( SpecEnv(..), nullSpecEnv )
-import Name ( nameSrcLoc, isLocallyDefinedName, getSrcLoc,
- Name{-instance Ord3-}
- )
-import Outputable ( Outputable(..), interpp'SP )
-import Pretty
-import TyCon ( TyCon, NewOrData(..), mkSynTyCon, mkDataTyCon, isDataTyCon,
- isNewTyCon, isSynTyCon, tyConDataCons
- )
-import Type ( GenType, -- instances
- typeKind, getTyVar, tyVarsOfTypes, eqTy, splitSigmaTy,
- applyTyCon, mkTyVarTys, mkForAllTys, mkFunTy,
- splitFunTy, mkTyVarTy, getTyVar_maybe
- )
-import PprType ( GenTyVar{-instance Outputable-}{-ToDo:possibly rm-} )
-import TyVar ( tyVarKind, elementOfTyVarSet, GenTyVar{-instance Eq-} )
-import Unique ( Unique {- instance Eq -}, evalClassKey )
-import UniqSet ( emptyUniqSet, mkUniqSet, uniqSetToList, unionManyUniqSets, UniqSet(..) )
-import Util ( equivClasses, zipEqual, nOfThem, panic, assertPanic )
-\end{code}