<html>
  <head>
    <meta content="text/html; charset=UTF-8" http-equiv="Content-Type">
  </head>
  <body bgcolor="#FFFFFF" text="#000000">
    fixity declaration has form <b>infix(l|r)? [Digit]</b> in haskell.
    I'm pretty sure, that this is not enough for complicated cases.
    Ideally, fixity declarations should have form <b>infix(l|r)?
      [Digit](\.(+|-)[Digit])</b>* , with implied infinitely long
    repeated (.0) tail. This will allow fine tuning of operator
    priorities and much easier priority selection. For example, it may
    be assumed, that bit operations like (.&amp;.) operator have
    hightest priority and have priorities like 9.0.1 or 9.0.2,
    anti-lisps like ($) have lowest priority like 0.0.1, control
    operators have base priority 1.* and logic operations like
    (&amp;&amp;) have priority of 2.* and it will be possibly to add new
    operators between or above all (for example) control operators
    without moving fixity of other ones.<br>
    <br>
    Agda2 language supports wide priority range, but still without
    'tails' to my knowledge. Is there any haskell-influenced language or
    experimental syntactic extension that address the issue?<br>
  </body>
</html>