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)