dhall-1.42.3: dhall-lang/tests/normalization/success/simplifications/issue661B.dhall

  λ(old : { a : Natural })
→ { z = [ { b = "Hello", c = [ old.a ] }, { b = "Bye", c = [ old.a ] } ] }