Здравствуйте, Serginio1, Вы писали:

S>Я вот только не понял зачем IntMulMonoid, IntAddMonoid

interface IMonoid<T>
{
static T Zero{get;}
static T operator+(T t1, T t2)
static T operator*(T t1, T t2)
}

Про это я писал — это не IMonoid, а IRing.
Плохо то, что в нём мы не можем повторно использовать IntAddMonoid и IntMulMonoid.