dhall-1.40.2: tests/format/letAnnotatedShortA.dhall

let empty : ∀(a : Type) → List a = λ(a : Type) → [] : List a in empty