dhall-1.26.0: dhall-lang/tests/normalization/success/simplifications/rightBiasedMergeWithinRecursiveRecordMergeWithinFieldselectionA.dhall
λ(x : { a : {} }) → (x ⫽ { b = 0 } ∧ { a = { c = 1 } }).b
λ(x : { a : {} }) → (x ⫽ { b = 0 } ∧ { a = { c = 1 } }).b