alts' <- mapM subs_bndr alts
change $ Case (Var scrut) wild ty alts'
where
is_used (_, _, expr) = expr_uses_binders [bndr] expr
bndr_used = or $ map is_used alts
subs_bndr (con, bndrs, expr) = do
alts' <- mapM subs_bndr alts
change $ Case (Var scrut) wild ty alts'
where
is_used (_, _, expr) = expr_uses_binders [bndr] expr
bndr_used = or $ map is_used alts
subs_bndr (con, bndrs, expr) = do