a semi-usable tagged_variant type