TypeScript 2.8 の Conditional Types について