{ Kind = ./Kind
, Monus = ./Monus/package.dhall
, Near = ./Near/package.dhall
, Set = ./Set
, Type = ./Type
, extractSemiring = ./extractSemiring
, terms = ./terms.dhall
}