Associative =>: binary operator.
Associative =>: binary operator.
The left and right identity over compose.
The left and right identity over compose.
monoid, but universally quantified.
monoid, but universally quantified.
The endomorphism monoid, where zero=id and
append=compose.
The endomorphism monoid, where zero=id and
append=compose.
semigroup, but universally quantified.
semigroup, but universally quantified.
The endomorphism semigroup, where append=compose.
The endomorphism semigroup, where append=compose.
A scalaz.Category permitting products.