let Prelude =
        env:DHALL_PRELUDE
      ? https://raw.githubusercontent.com/dhall-lang/dhall-lang/v20.1.0/Prelude/package.dhall
          sha256:26b0ef498663d269e4dc6a82b0ee289ec565d683ef4c00d0ebdd25333a5a3c98

let H =
      https://gitlab.horizon-haskell.net/dhall/horizon-spec/-/raw/0.6/dhall/package.dhall
        sha256:9a80164572526dc5350f105c8db0790fdf36634629b4cf03402ba14fd173d121

let toStep
    : Text → Text
    = λ(x : Text) →
        "nix build --json .#${x} | jq -r '.[].outputs | to_entries[].value' | cachix push horizon"

let input =
      Prelude.Map.keys
        Text
        H.HaskellPackage.Type
        ( merge
            { MakePackageSet =
                λ(x : H.PackageSetExportSettings) → x.packageSet.packages
            , MakeOverlay = λ(x : H.OverlayExportSettings) → x.overlay.packages
            }
            ./horizon.dhall
        )

let packages = Prelude.List.map Text Text toStep (input : List Text)

in  Prelude.List.fold
      Text
      packages
      Text
      (λ(x : Text) → λ(y : Text) → x ++ "\n" ++ y)
      ""