I just started reading, but why does it say "(semi)group" instead of "semigroup ...

		aratakareigen on Feb 2, 2020 \| parent \| context \| favorite \| on: Too much locality for stores to forward I just started reading, but why does it say "(semi)group" instead of "semigroup / monoid"? I've never heard of inversion being used to perform a fold.