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