let cond_pop t f = match cond_pop_with_key t (fun ~key:_ ~data -> f data) with | None -> None | Some (_k, v) -> Some v