[Haskell-cafe] ordNub

[Tom Ellis]

On Thu, Jan 01, 2015 at 03:37:09PM +0100, Atze van der Ploeg wrote:
> This boils down to the question whether on each set with an equality
> relation defined on it a total ordering (consistent with the equality
> relation) can also be defined.

I agree with the essence of this restatement.

> One counterexample is the complex numbers.

This is what I don't understand.  The complex numbers can be totally
ordered.  (Not in a way compatible with the field structure, but that's
beside the point).