Monoidal LimitConstraint, LimitConstraint takes monoids to monoids