úÎV'=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.6Data.Semigroup Semigroup.++.<++>