MonoidalReducible now accepts both a Monoid class and a Monoid instance

@jsoverson