base: Document that mappend should be equal to (<>)
I've noticed that the haddocks for Monoid
don't explicitly say that mappend
should be equal to (<>)
.
In principle this would allow for a type where e.g (<>)
is addition and mappend
is multiplication.