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.