title: Define order of elements
body: <p>I would like to define an order between given elements: <code>El1 *isBefore* El2 *isBefore* El3</code>; to later use through a function like below.</p>
  
  <pre class="lang-scala prettyprint-override"><code>def isBefore(a: T, b: T): Boolean = ???
  </code></pre>
  
  <p>Does it make any sense? And is it at least possible?</p>