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