dhall-1.42.3: dhall-lang/tests/parser/success/listA.dhall

[ [+1, +2, +3]
, [+1, +2, +3] : List Integer
, [] : List Integer
]