Crossing the brand boundary. Every operation here is an erased cast: it changes what the type checker will accept and nothing about the value.

Branded primitives: the F# rendering of TypeScript's intersection brands (type UserId = string & { __brand: "UserId" }).