struct monostate{};
Класс monostate может служить первым альтернативным типом для, variant чтобы сделать этот variant тип конструктивным по умолчанию.