Monoid0 as Monoid0