When writing a non-tuple struct value in another spec, it'd be nice to have a notation for it. There are several options, but I haven't gone looking through other specs to figure out which ones are already used.