BaseSemigroup<T> constructor

BaseSemigroup<T>()