Branded / Nominal Types

Simulating nominal typing in TypeScript's structural system.

Why is `type UserId = string & { readonly __brand: unique symbol }` used?