01. TypeScript / Generic and Conditional Type / as const / infer