--- /dev/null
+\begin{code}
+module Match where
+import Var ( Id )
+import TcType ( TcType )
+import DsMonad ( DsM, EquationInfo, MatchResult )
+import CoreSyn ( CoreExpr )
+import HsSyn ( LPat, HsMatchContext, MatchGroup )
+import Name ( Name )
+
+match :: [Id]
+ -> TcType
+ -> [EquationInfo]
+ -> DsM MatchResult
+
+matchWrapper
+ :: HsMatchContext Name
+ -> MatchGroup Id
+ -> DsM ([Id], CoreExpr)
+
+matchSimply
+ :: CoreExpr
+ -> HsMatchContext Name
+ -> LPat Id
+ -> CoreExpr
+ -> CoreExpr
+ -> DsM CoreExpr
+
+matchSinglePat
+ :: CoreExpr
+ -> HsMatchContext Name
+ -> LPat Id
+ -> TcType
+ -> MatchResult
+ -> DsM MatchResult
+\end{code}