dhall-1.26.0: dhall-lang/tests/normalization/success/unit/OperatorListConcatenateNormalizeArgumentsA.dhall

  λ(T : Type)
→ λ(x : List T)
→ λ(y : List T)
→ ([] : List T) # x # (([] : List T) # y)