Advanced conditional types and infer

Questions for this topic are still being prepared. Check back soon, or prove what you know about TypeScript in Verify.