-dsGRHSs hs_ctx pats (GRHSs grhss binds) rhs_ty =
- bindLocalsDs (bindsBinders ++ patsBinders) $
- mappM (dsGRHS hs_ctx pats rhs_ty) grhss `thenDs` \ match_results ->
+dsGRHSs hs_ctx pats grhssa@(GRHSs grhss binds) rhs_ty =
+ bindLocalsDs binders $ do
+ match_results <- mappM (dsGRHS hs_ctx pats rhs_ty) grhss