Advanced Types

The type-level power tools: mapped & conditional types, infer, template literal types, the utility types (and building your own), recursion, variance, and branded types.