Added Lwt_list.filter_map_{s,p}.