My wish list: - Type the default export in a single expression (issue #13626, open for 5 years) - Negated types. E.g. `string & not 'abc'`. `Exclude` only wor

My wish list: - Type the default export in a single expression (issue #13626, open for 5 years) - Negated types. E.g. `string & not 'abc'`. `Exclude` only works for union types - Allow 'never' to take a type parameter that will show up in my IDE when a type resolves to it. 'never' is often used in more complex type construction, and if something is unexpectedly resolving to 'never' it would be nice to know which 'never' it is, a bit like an error message