BFE.devでのAI解答例 - TypeScript タイプパズル
16. implement FirstChar<T>

type FirstChar<T extends string> = T extends '' ? never : T extends `${infer F}${infer R}` ? F : never;

• Tの型パラメーターは文字列型であることを制約する。
• もしTが空文字列の場合、neverを返し、そうでなければ、先頭の文字を取得する。
• 先頭の文字を取得するために、テンプレートリテラルを使って、Tを先頭の文字（F）と残りの文字列（R）に分割する。
• FirstCharは先頭の文字Fを返す。