added monoid instance

monoids rule