Description
A Haskell library for commutative semigroups, algebraic structures where combining values is associative and order does not matter. It provides type-level vocabulary for APIs that rely on this property.
Developers use it in generic programming, math-heavy libraries, and data aggregation. The abstraction is small, but it helps make assumptions about combination behavior explicit in types.