Excessive "as Monoid" in Data.Semiring.