Comment by Tade0

This would produce interesting results with types defined via `infer` or template literal types.

That being said I wish the same.