title: Idris - Eq for enumerated type
body: <p>Suppose I have an enumerated type like</p>
  
  <pre><code>data MyType
      = One
      | Two
      | Three
      ...
      | Ten
  </code></pre>
  
  <p>and I would like to implement the <code>Eq</code> interface for it. I could do it as follows</p>
  
  <pre><code>Eq MyType where
      One == One = True
      Two == Two = True
      ...
      Ten == Ten = True
      _ == _ = False
  </code></pre>
  
  <p>but this looks tedious.</p>
  
  <p>Is there a better and more coincise way to do this in Idris?</p>