[Haskell-cafe] Comments from OCaml Hacker Brian Hurt

[Anton van Straaten]

Philippa Cowderoy wrote:
> On Fri, 16 Jan 2009, Duncan Coutts wrote:
> 
>> If you or anyone else has further concrete suggestions / improvements
>> then post them here now! :-)
>>
> 
> Spell out what associativity means 

It probably makes sense to do as Jeremy Shaw suggests and explicitly 
list the monoid laws, which would include the associative equality, but 
there really shouldn't be any other text in the definition of Monoid 
devoted to explaining what associativity means.  Instead, linking words 
like "associative" to a definition in a glossary would make sense.

Anton