let exists t ~f = List.exists t ~f