algebra-0.3.0: Constructive abstract algebra
Numeric.Semiring
module Numeric.Semiring.Class
module Numeric.Semiring.Integral
module Numeric.Semiring.Involutive