dhall-1.11.0: tests/typecheck/anonymousFunctionsInTypesA.dhall

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

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