@hackage rings0.0.2

Rings, semirings, and dioids.

Lawful versions of the numeric typeclasses in base.