You can specify specific values in TypeScript types already. And you can achieve the effect of this specific type with Exclude over a type parameter already. This is expanding on concepts already in wide use, in a widely used type system.