Условные типы в TypeScript: реализация generic‑условия

Реализуйте условный тип в TypeScript, который выбирает один из двух вариантов в зависимости от булевого параметра.

type TrueResult = If<true, 'a', 'b'>  // expected to be 'a'
type FalseResult = If<false, 'a', 'b'> // expected to be 'b'