Для начала, у тебя там есть T = any. Так лучше не делать, а если очень хочется, то все равно лучше не делать.
Чтобы вытащить тип, есть конструкция extends infer … ? … : …
В ссылке, что я скинул, есть описание, как это работает.
И в итоге у тебя получится что-то вроде такого кода.