Re: [Haskell-cafe] Haskell reference documentation, laws first or laws last?

On 16 Sep 2021, at 9:33 pm, David Feuer wrote:

The laws of any sensible class are an essential and integral part of it. Without them, you just have ad hoc overloading. They shouldn't be relegated to the canonical exporting module.

Surely a one click link from the Prelude re-export is no worse than a 1-click link in the module table of contents? I am rather reluctant beat new readers over the head with laws that often are much too abstract to add clarity. -- Viktor.