dhall-1.30.0: dhall-lang/tests/normalization/success/unit/RecordLitTriplicateFieldsB.dhall

  λ(a : { x : Natural })
→ λ(b : { y : Natural })
→ λ(c : { z : Natural })
→ { k = a ∧ b ∧ c }