dhall-1.42.3: dhall-lang/tests/parser/success/recordA.dhall

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