dhall-1.36.0: tests/diff/withB.dhall

λ(r : { a : Natural }) → r with b.c.d = 3