Sebastian Fischer writes: > +1 for adding Monoid and Semiring earlier rather than later which > would allow me to drop my own definitions for semirings in my > libraries for regular expression matching and parallel programming. I see your versions of + and * are infixr rather than infixl. Is that important?