Conditional Types、Mapped Types、Template Literal Types...