Ker je TypeScript strukturno tipiziran, sta UserId in OrderId, ki sta oba string, zamenljiva — prevajalnik te ne more ustaviti pred njihovim zmešanjem. Označeni tipi simulirajo imensko tipizacijo z dodajanjem edinstvene, fantomske "oznake", da postanejo drugače identični tipi različni.
