I think its usage is common enough to warrant a se...

# language-proposals

[damian]

I think its usage is common enough to warrant a separate operator.... but it's still pretty minor. Consider that you could just use the Pair constructor too, but to exists for convenience and clarity. It could probably be improved by avoiding piggybacking off of infix functions altogether. I'm also in the "bring back the bitwise operators" camp, and I feel like introducing a mapping operator is a similar proposal.