Type guards rely on the programmer to be correctly defined and are error-prone. We introduce the type extractor💡, which may be a safer alternative in many scenarios.

A trick that I’d like sharing :)