let add_with x f m =
    add x (f (find x m)) m