It's probably around half a year ago that I asked about this, and the problem with mapping a Set is that the result could easily have a different number of items (because of uniquing). Please don't push other people in front of your proposal. If you must, link to their post.
Edit: It's more than a year ago and here is my post: Provide map and flatMap for Set<A> that return a Set