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

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