algebra-0.4.0: Constructive abstract algebra
Numeric.Ring
module Numeric.Ring.Class
module Numeric.Ring.Endomorphism
module Numeric.Ring.Opposite
module Numeric.Ring.Rng