A variant class template with the "Never-Empty" guarantee - View it on GitHub