Descrição
Uma biblioteca Haskell para semigrupos comutativos, estruturas algébricas onde combinar valores é associativo e a ordem não importa. Fornece vocabulário no nível de tipos para APIs que dependem dessa propriedade.
Desenvolvedores a usam em programação genérica, bibliotecas matemáticas e agregação de dados. A abstração é pequena, mas ajuda a explicitar nos tipos as suposições sobre comportamento de combinação.