Relative infix operator precedences

It was intensively discussed, whether Haskell should better have syntax for describing relations like "'times' binds more tightly than 'plus'" and "'plus' and 'minus' bind by the same strenght", instead of numeric precedence values like 6 and 7. The relative precedence declarations would also allow to let unrelated infix operators unrelated. This would force the use of parentheses in cases where the operator name designers did not anticipate a certain combination of infix operators.

See

• Dan Weston in Haskell Cafe on Fractional/negative fixity?, especially Jon Fairbairn's proposal
• Brian Hullay in Haskell Cafe on Automatic fixity allocation for symbolic operators