{ Kind = ./Kind
, Monus = ./Monus/package.dhall
, Set = ./Set
, Type = ./Type
, extractMonoid = ./extractMonoid
, extractSemigroup = ./extractSemigroup
}