GCompare could more explicitly document its laws #63
Description
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