Explain 'Branded Types' for Domain Driven Design.

Branding simulates nominal typing by adding a unique tag to a type, preventing accidental swaps of identical primitives.

TS is structural; two strings are identical. Branding intersects a primitive with a unique object property. This forces developers to use specific IDs (e.g., UserId vs AccountId) even if both are strings, catching logic errors at compile-time[cite: 1].