--- /dev/null
+module TcMatches where
+
+tcGRHSsPat :: HsExpr.GRHSs Name.Name
+ -> TcType.BoxyRhoType
+ -> TcRnTypes.TcM (HsExpr.GRHSs Var.Id)
+
+tcMatchesFun :: Name.Name
+ -> HsExpr.MatchGroup Name.Name
+ -> TcType.BoxyRhoType
+ -> TcRnTypes.TcM (HsBinds.ExprCoFn, HsExpr.MatchGroup Var.Id)