dhall-1.25.0: dhall-lang/tests/binary-decode/success/unit/recordProjectionByExpressionB.dhall

{ a = 1, b = 2 }.({ a : Natural })