algebra-0.4.0: Constructive abstract algebra
Numeric.Rig
module Numeric.Rig.Class
module Numeric.Rig.Ordered
module Numeric.Rig.Characteristic