Modify instance Monoid Code so that Skip constructors are removed as much as
possible.