"Since we are talking about aggregating documents into an index, the word semigroup might pop into our heads."

This is why Haskell tutorials have a bad rep. Why not use a common English term like "monoid" instead?

Snark aside, the <> approach to solving the problem piecewise and aggregating the results into a larger instance of the same type is a really convenient approach.