This proposal seems to have got stuck *again*. This is a call for consensus. Do we agree to add infixr 6 <>