Understanding the TypeScript `infer` keyword

In TypeScript, there are some types that are composed of multiple other types. We can refer to them as compound types. A promise for example, is a compound type because it’s composed of two types. The first being the Promise itself, and the second be...