Descrição
Código Haskell pode usar abstrações de semigrupo para valores que suportam combinação associativa.
É útil para bibliotecas e aplicações que precisam de composição algébrica, compatibilidade com ecossistemas antigos de compilador ou instâncias compartilhadas de type classes. Usuários comuns normalmente recebem isso como dependência, sem interagir diretamente.