-import TcHsSyn ( mkHsDictLet )
-
-import TcMatches ( matchCtxt, tcStmts, tcMDoStmt, tcGuardStmt,
- TcMatchCtxt(..), tcMatchesCase )
-
-import TcType ( TcType, TcTauType, BoxyRhoType, mkFunTys, mkTyConApp,
- mkTyVarTy, mkAppTys, tcSplitTyConApp_maybe, tcEqType,
- SkolemInfo(..) )
-import TcMType ( newFlexiTyVarTy, tcInstSkolTyVars, zonkTcType )
-import TcBinds ( tcLocalBinds )
-import TcSimplify ( tcSimplifyCheck )
-import TcPat ( tcPat, tcPats, PatCtxt(..) )
-import TcUnify ( checkSigTyVarsWrt, boxySplitAppTy )