dhall-1.31.0: dhall-lang/tests/normalization/success/unit/RightBiasedRecordMergeWithinRecordProjectionA.dhall

λ(x : { c : Natural }) → (x ⫽ { a = 1, b = 2 }).{ a, c }