The C++ committee said the same thing, and gave us std::variant. They are painful to work with and do not really deliver most of the benefits people want.