型レベルプログラミング [TypeScript]具体例で理解する、配列から"その配列型"と"その要素のUnion型"を定義する方法とその使い道型TypeScript型推論型レベルプログラミングTypeScript
