[Haskell-cafe] Re: Sorting with a weaker form of Ord (Re: Type constraints for class instances)