dhall-1.11.0: tests/typecheck/anonymousFunctionsInTypesB.dhall

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