let nset_choose set = nset_fold (fun s n ->
    match s with
      None -> Some n
    | s -> s) None set