Semigroup<A> constructor

Semigroup<A>()