dhall-1.36.0: dhall-lang/tests/normalization/success/unit/WithDesugarB.dhall

λ(x : { a : { b : { c : {} } } }) → x with a.b.c = 42