Работал ли ты с типом infer в TypeScript? Что ты о нём знаешь?