Co to są conditional types i jak ich używać?

Conditional types: T extends U ? X : Y — wybierają typ na podstawie warunku. infer wyciąga typy wewnętrzne. Przykład: ReturnType<T> wyciąga typ zwracany funkcji. Distributed conditional types działają na union types element po elemencie.