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

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