adding monoid types.