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