struct monostate{};
The class monostate can serve as a first alternative type for a variant to make the variant type default constructible.