dhall-1.19.0: tests/parser/success/listA.dhall

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