&gt; Does anyone know the advantages of the above signature over the Haskell alternative?<p>Historical reasons, mostly. The only practical advantage I can imagine is that it&#x27;s a bit shorter to implement a reverse comparison, since you just multiply by -1.