--- /dev/null
+\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}