úΕ?A wrapper used to construct a  Semigroup from a Monoid. =A binary operation that must satisfy associativity. Unlike a Monoid , an identity in not essential. CA binary associative operation lifted into an applicative functor. Semigroup-0.0.3Data.SemigroupIdentity Semigroup.++.<++>run