dhall-1.36.0: tests/diff/withA.dhall

λ(r : { a : Natural }) → r with b = 2