sub[left](a, b) is sub(b, a), and the same holds for the other operations that accept it. Useful when the order comes from the call site rather than from the intent.
