Newtypes

- usually use symbol branding in TS, which is kinda icky

const BrandTypeId: unique symbol = Symbol.for("effect/Brand")

type ProductId = number & {
  readonly [BrandTypeId]: {
    readonly ProductId: "ProductId" // unique identifier for ProductId
  }
}
- proper nominality and newtypes
- newtype, newtype interfaces (traits)

newtype UserId = string;
const userId = UserId("123");
newtype UserId = private string; // can only be constructed within file