@hackage rings0.0.2.1

Rings, semirings, and dioids.

Lawful versions of several of the numeric typeclasses in base.