let for_all t ~f = for_all t ~f