dhall-1.19.0: tests/typecheck/success/simple/anonymousFunctionsInTypesA.dhall

    let anonymousFunction = λ(a : Type) → List a

in    λ(HigherOrderType : (Type → Type) → Type)
    → λ(x : HigherOrderType anonymousFunction)
    → (x : HigherOrderType anonymousFunction)