title: How to choose operator precedence?
body: <p>In Idris, you can define operators using <code>infix</code>, <code>infixl</code> or <code>infixr</code>, followed by the precedence of the operators then a list of operators, like</p>
  
  <pre><code>infixl 8 +, -
  </code></pre>
  
  <p>I imagine you can do this in other languages too.</p>
  
  <p>I know what effect precedence has, but how do I choose what precedence to give my operators? What problems might I encounter if I initially choose a precedence that's too high or low?</p>