2a:["$","div","1",{"className":"grid gap-4 mb-8","children":[["$","div","0",{"className":"flex items-center gap-4","children":[["$","div",null,{"className":"flex items-center justify-center w-8 h-8 bg-lime-500 text-black rounded-full font-semibold","children":1}],["$","div",null,{"className":"text-gray-300","children":["$","div",null,{"dangerouslySetInnerHTML":{"__html":"Passo 1 - Entenda a sintaxe base: infer sempre aparece dentro de um extends em conditional types. A forma é: T extends Pattern ? U : Fallback. O U é a variável que captura o tipo extraído."}}]}]]}],["$","div","1",{"className":"flex items-center gap-4","children":[["$","div",null,{"className":"flex items-center justify-center w-8 h-8 bg-lime-500 text-black rounded-full font-semibold","children":2}],["$","div",null,{"className":"text-gray-300","children":["$","div",null,{"dangerouslySetInnerHTML":{"__html":"Passo 2 - Extraia o tipo de retorno de funções: Crie type ReturnOf = T extends (...args: any[]) => infer R ? R : never. O R captura o que a função retorna. Isso é exatamente como o ReturnType nativo funciona."}}]}]]}],["$","div","2",{"className":"flex items-center gap-4","children":[["$","div",null,{"className":"flex items-center justify-center w-8 h-8 bg-lime-500 text-black rounded-full font-semibold","children":3}],["$","div",null,{"className":"text-gray-300","children":["$","div",null,{"dangerouslySetInnerHTML":{"__html":"Passo 3 - Extraia o tipo de elementos de array: Use type ElementOf = T extends (infer E)[] ? E : never. Se passar string[], o E vira string. Funciona com qualquer array."}}]}]]}],["$","div","3",{"className":"flex items-center gap-4","children":[["$","div",null,{"className":"flex items-center justify-center w-8 h-8 bg-lime-500 text-black rounded-full font-semibold","children":4}],["$","div",null,{"className":"text-gray-300","children":["$","div",null,{"dangerouslySetInnerHTML":{"__html":"Passo 4 - Faça unwrap de Promise: Crie type Awaited = T extends Promise ? V : T. Se T for Promise, retorna string. Se não for Promise, retorna o próprio T."}}]}]]}],["$","div","4",{"className":"flex items-center gap-4","children":[["$","div",null,{"className":"flex items-center justify-center w-8 h-8 bg-lime-500 text-black rounded-full font-semibold","children":5}],["$","div",null,{"className":"text-gray-300","children":["$","div",null,{"dangerouslySetInnerHTML":{"__html":"Passo 5 - Extraia parâmetros de função: type FirstParam = T extends (first: infer P, ...rest: any[]) => any ? P : never. Captura o tipo do primeiro parâmetro de qualquer função."}}]}]]}],["$","div","5",{"className":"flex items-center gap-4","children":[["$","div",null,{"className":"flex items-center justify-center w-8 h-8 bg-lime-500 text-black rounded-full font-semibold","children":6}],["$","div",null,{"className":"text-gray-300","children":["$","div",null,{"dangerouslySetInnerHTML":{"__html":"Passo 6 - Combine múltiplos infer: Dá pra usar mais de um infer na mesma expressão. type FuncParts = T extends (arg: infer A) => infer R ? { input: A; output: R } : never. Extrai entrada e saída de uma vez."}}]}]]}]]}]