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