let for_all t ~f = List.for_all t ~f