Compare https://hackage.haskell.org/package/base-4.20.0.1/docs/Prelude.html#t:Ord
The haddocks do say "total ordering" in the header, but it would be good to put that explicitly in the class haddocks, even if all the properties (transitivity, etc) aren't explicitly enumerated, as the stakes are high
Compare https://hackage.haskell.org/package/base-4.20.0.1/docs/Prelude.html#t:Ord
The haddocks do say "total ordering" in the header, but it would be good to put that explicitly in the class haddocks, even if all the properties (transitivity, etc) aren't explicitly enumerated, as the stakes are high