úÎW5The class of semigroups. An associative operation. algebra-0.0.0.0Data.Semigroup Semigroupappend