Add do_with_match_discriminee