4 -> [DsUtils.EquationInfo]
5 -> DsMonad.DsM DsUtils.MatchResult
9 -> [DsUtils.EquationInfo]
10 -> DsMonad.DsM DsUtils.MatchResult
14 -> HsExpr.HsMatchContext Var.Id
15 -> TcHsSyn.TypecheckedPat
18 -> DsMonad.DsM CoreSyn.CoreExpr
22 -> DsMonad.DsMatchContext
23 -> TcHsSyn.TypecheckedPat
24 -> DsUtils.MatchResult
25 -> DsMonad.DsM DsUtils.MatchResult