@hackage rings0.0.2.2

Groups, rings, semirings, and dioids.

Lawful algebraic classes and a la carte instances.