abstract Semigroup<A>(A ‑> A ‑> A)

package thx

from A ‑> A ‑> A to A ‑> A ‑> A