úΆ»      =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.7Data.Semigroup BoundedMin runBoundedMin BoundedMax runBoundedMaxMinrunMinMaxrunMax Semigroup.++.<++>