I spent some time this week playing with Typescript 2.8’s new features for modeling various complex types. The new syntax that I wanted to play with was the conditional type syntax,

T extends U ? X : Y

This syntax allows you to express some really crazy type relationships! Some of the most …