let modPackageList =
      ../PackageList/modPackageList.dhall
        sha256:6420bf8514b4adb702800a857c0a17eb1dd021271a4ae42b66ccdba47681829d

let Modifiers =
      ../Modifiers/Type.dhall
        sha256:6db4b8073df833e3b04c94a891aafa5cd8e1ca4f8f336b58ba01a6440cddf461

let PackageSet =
      ./Type.dhall
        sha256:7647ab36879917796e574422789e7b67ce03ccedf362a04f12e3e07f4377281e

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

in  modPackageSet