深入探討 TypeScript 的 infer 關鍵字，透過實際範例學習如何在條件類型中進行類型推斷，並實現一個能夠反轉字串的 Reverse 類型工具。