Remove Monoid and Applicative RULES