{ Commutative = ./Commutative/package.dhall
, Kind = ./Kind
, Ordered = ./Ordered/package.dhall
, OrderedCommutative = ./OrderedCommutative/package.dhall
, PartiallyOrdered = ./PartiallyOrdered/package.dhall
, PartiallyOrderedCommutative = ./PartiallyOrderedCommutative/package.dhall
, Type = ./Type
, extractMonoid = ./extractMonoid
, leftQuotient = ./leftQuotient
, rightQuotient = ./rightQuotient
, terms = ./terms.dhall
}