Type Alias Brand<T, K>

Nominal type marker. Intersects a base type T with a phantom tag K so two structurally identical values (e.g. UserId vs OrderId) are not interchangeable at the type level.