React の Context も Recoil も、そのコンポーネントが大域的状態を使っているのかコンポーネントの型に現れないから微妙なんだよな
でもそれを型レベルで持つには TypeScript の型付け (と JSX) だときついのかも