- | _, _, _, E.Abst w -> f z w
- | _, _, _, E.Abbr (B.Cast (w, _)) -> f z w
- | _, _, _, E.Abbr _ -> assert false
- | _, _, _, E.Void ->
+ | _, _, _, E.Abst (_, w) -> f z w
+ | _, _, _, E.Abbr (_, B.Cast (w, _)) -> f z w
+ | _, _, _, E.Abbr _ -> assert false
+ | _, _, _, E.Void ->