前置き: Conditional Typesとは※ご存知の方は読み飛ばしてくださいConditional Typesとは、条件分岐した型定義です。T extends U ? X : Y のよう…