dhall-1.42.3: dhall-lang/tests/normalization/success/unit/RightBiasedRecordMergeWithinRecordProjectionB.dhall

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