The ultimate goal of TypeScript ... so a nominal type system would only prevent developers from using what already exists. This can be visualized easily through a traditional set diagram (Figure ...