variant
easy_variant
recursive_wrapper
variant_comparator
arithmetic_category
arithmetic_rank
safe_arithmetic_conversion
safe_pointer_conversion
safely_constructible
dominates