let modPackageList = ../PackageList/modPackageList.dhall

let Modifiers = ../Modifiers/Type.dhall

let PackageSet = ./Type.dhall

let modPackageSet
    : Modifiers → PackageSet → PackageSet
    = λ(xs : Modifiers) →
      λ(ps : PackageSet) →
        ps
        with packages = modPackageList xs ps.packages

in  modPackageSet