`Semigroup<A>` is the typeclass instance
# arrow
m
Semigroup<A>
is the typeclass instance