Why should they? You can compare them in whatever way you like. And there isn&#39;t a natural/inherent sense of total order between types.<br><br><div class="gmail_quote">On Sun, Dec 5, 2010 at 6:08 AM, Serguey Zefirov <span dir="ltr">&lt;<a href="mailto:sergueyz@gmail.com" target="_blank">sergueyz@gmail.com</a>&gt;</span> wrote:<br>


<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Why TypeRep does have equality and doesn&#39;t have ordering?<br>
<br>
It would be good to have that.<br>
<br>
Right now when I have to order two type representations I convert them<br>
to string and then compare. This is somewhat inefficient and not quite<br>
straightforward.<br>
<br>
_______________________________________________<br>
Haskell-Cafe mailing list<br>
<a href="mailto:Haskell-Cafe@haskell.org" target="_blank">Haskell-Cafe@haskell.org</a><br>
<a href="http://www.haskell.org/mailman/listinfo/haskell-cafe" target="_blank">http://www.haskell.org/mailman/listinfo/haskell-cafe</a><br>
</blockquote></div><br><br clear="all"><br>--<br>
<div>Tianyi Cui</div>