Designing a Tagged Union type in C++/Subspace (2022) | Dark Hacker News