{ Commutative = ./Commutative/package.dhall
, Kind = ./Kind
, Near = ./Near/package.dhall
, Ordered = ./Ordered/package.dhall
, PartiallyOrdered = ./PartiallyOrdered/package.dhall
, Set = ./Set
, Type = ./Type
, extractRig = ./extractRig
, subtract = ./subtract
, terms = ./terms.dhall
}