>this is a curse that's almost unique to Haskell—the language is also prevented from utilizing future improvements to sorting algorithms!

Back in reality of course, Haskell has fast, generic, linear-time sorting: https://hackage.haskell.org/package/discrimination