{ Kind = ./Kind
, Ordered = ./Ordered/package.dhall
, PartiallyOrdered = ./PartiallyOrdered/package.dhall
, Set = ./Set
, Type = ./Type
, divide = ./divide
, extractCommutativeRing = ./extractCommutativeRing
, extractRing = ./extractRing
, terms = ./terms.dhall
}