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

  ∀(HigherOrderType : (Type → Type) → Type)
→ ∀(x : HigherOrderType (λ(a : Type) → List a))
→ HigherOrderType (λ(a : Type) → List a)