Fix bad Monoid specification