export type StringReverse = S extends `${infer F}${infer R}` ? `${StringReverse}${F}` : "";