New posts in Semigroup

What is the purpose of the ArgMin and ArgMax type synonyms in Data.Semigroup?

Why is there no alternative instance for Either but a semigroup that behaves similarily to alternative?