feat(data/list/zip): nth_zip_with univ polymorphic, zip_with_eq_nil_iff (#6974)
nth_zip_with
zip_with_eq_nil_iff