This has probably been talked about before, but are people open to introducing a system for specifying symbolic operator prescedence? I’m thinking particularly of non-ascii, unicode operators. E.g. allowing us to specify that in A⨯B⟶C⨯D that ⨯ binds more tightly than ⟶. I realise that re-binding the prescedence of standard ascii operators is likely to cause problems, and indeed, potentially the left-to-right vs right-to-left associativity. But the mathematical symbols are a beautiful playground.
This would apply both to type constructors and to functions, I think.