Change config style, change monoid->semigroup