I have settled on this style to minimize the boilerplate code needed to write tagged unions and tagged union factories.

Lines 1-8 are helper functions for declaring tagged union types. They are used for non-generic tagged unions.

Non-generic tagged unions' types should be inferred correctly.

Generic tagged unions are super hard to type, as TypeScript only allows functions to be typed as generic values.

Wish you enjoy this as well.