úΑ.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. +Construct a wrapper for a monoid instance. CA binary associative operation lifted into an applicative functor. Semigroup-0.0.4Data.SemigroupIdentityrun Semigroup.++.identity<++>