TypeScriptの高度な型操作を使い方で理解する keyof typeof inferを実例で整理