type Brand = K & { readonly __brand: T }; export type Extensible = Brand<"Extensible", {}>;