Also there's one feature that deno could make possible given their tight integration:
Allow JSON.parse to use typescript types.
So I can parse JSON with supplied type and engine would validate JSON against that type. Simple as that.
Also might be useful for JSON.serialize to have an output control (because TypeScript could be abused and actual value might differ from its type).
This simple feature would bring tremendous value to application stability IMO.