let exists ~f s =
    fold_left (fun ans c -> f c || ans) false s