dhall-1.7.0: tests/parser/record.dhall

{ foo = 1
, bar = +2
, baz = True
} : { foo : Integer, bar : Natural, baz : Bool }