Well discriminated unions are TypeScript's implementation of ADTs (but whether they are "clean" is could be debated)