\begin{code}
module TcMatches where
import HsSyn	( GRHSs, MatchGroup, HsWrapper )
import Name	( Name )
import TcType	( TcRhoType )
import TcRnTypes( TcM, TcId )

tcGRHSsPat    :: GRHSs Name
	      -> TcRhoType
	      -> TcM (GRHSs TcId)

tcMatchesFun :: Name -> Bool
	     -> MatchGroup Name
	     -> TcRhoType
	     -> TcM (HsWrapper, MatchGroup TcId)
\end{code}