How would that work in expressions where you bind some variables and match on others? Which operator would you use and why?
Also, what about pattern matching in case or function heads, where you don’t have the operator at all, yet still have the matching/binding behaviour.