Associative =>: binary operator.
Associative =>: binary operator.
semigroup, but universally quantified.
semigroup, but universally quantified.
The endomorphism semigroup, where append=compose.
The endomorphism semigroup, where append=compose.
A scalaz.Compose (semigroupoid) permitting products.