Typescript 2.8 brought with it some incredible new functionality - conditional types. These were a huge step forward in the expressivity of the type system, allowing us to create compile-time type-safety in