Yes, I think this is worth an implementation and a small proposal. We’ve seen clear examples of its usefulness. We have to consider the cognitive weight of adding too many APIs; however, we already have filter and mapValues, and they feel incomplete without compactMapValues – leaving it out would be jarring.