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

([] : List Natural) # [ 1, 2, 3 ] # ([ 1, 2, 3 ] : List Natural) : List Natural