λ(nix : ../NixPrelude.dhall) →
  let Any = ../Any/Type.dhall

  let Set = ../Set/Type.dhall

  let composeExtensions = ./composeExtensions.dhall nix

  let Set/toSet = ../Set/toSet.dhall nix

  let Map =
        https://raw.githubusercontent.com/dhall-lang/dhall-lang/v22.0.0/Prelude/Map/Type.dhall
          sha256:210c7a9eba71efbb0f7a66b3dcf8b9d3976ffc2bc0e907aadfb6aa29c333e8ed

  let composeManyExtensions
      : List (Set → Set → Set) → Set → Set → Set
      = λ(list : List (Set → Set → Set)) →
          List/fold
            (Set → Set → Set)
            list
            (Set → Set → Set)
            composeExtensions
            (λ(final : Set) → λ(prev : Set) → Set/toSet Any ([] : Map Text Any))

  in  composeManyExtensions