Adding negated and number intrinsic types to TypeScript
kaleidawave.github.io> param: string & Not<"">
Is this even a type anymore? It's checking against a specific value.
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.