dhall-1.42.3: tests/diff/withA.dhall

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