Added ordering to MonoMonoid.