List_ext: replaced find by find_and_apply.