I created a similar sum type during high school detention but type order didn't seem possible at the time. I'm glad someone else has eyes on it.

I unfortunately don't write C++ anymore because the TC is too low. It's sad that Python and JS pay more.