MulMonoid<T> constructor

MulMonoid<T>()