dhall-1.40.2: tests/format/letAnnotatedShortB.dhall

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

in  empty