\begin{code}
module TcMatches where
import HsSyn	( GRHSs, MatchGroup, ExprCoFn )
import Name	( Name )
import Var	( Id )
import TcType	( BoxyRhoType )
import TcRnTypes( TcM )

tcGRHSsPat    :: GRHSs Name
	      -> BoxyRhoType
	      -> TcM (GRHSs Id)

tcMatchesFun :: Name
	     -> MatchGroup Name
	     -> BoxyRhoType
	     -> TcM (ExprCoFn, MatchGroup Id)
\end{code}