A couple of hs-boot files
module Match where
import Var ( Id )
import TcType ( TcType )
-import DsMonad ( DsM, DsMatchContext, EquationInfo, MatchResult )
+import DsMonad ( DsM, EquationInfo, MatchResult )
import CoreSyn ( CoreExpr )
import HsSyn ( LPat, HsMatchContext, MatchGroup )
import Name ( Name )
\begin{code}
module TcIface where
-import IfaceSyn ( IfaceDecl )
+import IfaceSyn ( IfaceDecl, IfaceInst, IfaceRule )
import TypeRep ( TyThing )
import TcRnTypes ( IfL )
+import InstEnv ( Instance )
+import CoreSyn ( CoreRule )
tcIfaceDecl :: IfaceDecl -> IfL TyThing
+tcIfaceInst :: IfaceInst -> IfL Instance
+tcIfaceRule :: IfaceRule -> IfL CoreRule
\end{code}