Associative =>: binary operator.
=>:
semigroup, but universally quantified.
semigroup
The endomorphism semigroup, where append=compose.
append
compose