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