从0开始的TypeScriptの十三：infer、extends、keyof、typeof、in_typescript_空城机