c – 具有与实例一样多的参数的可变参数模板

template<typename... Ts>
class A
{
     std::variant<Ts> v;
};

如果在程序的其余部分我将实例化

A<int> a;
A<double> b;

然后我想如果编译器可以实例化这种类：

class A
{
     std::variant<int,double> v;
};

相反,如果在另一个程序中我实例化：

A<std::vector<int>> c;
A<std::list<float>> d;
A<char> e;

然后编译器可以实例化：

class A
{
     std::variant<std::vector<int>,std::list<float>,char> v;
};

问题的核心是,每次我使用不同类型的时候,我都懒得改变A的类型参数.所以我想如果编译器可以计算A的所有用法并创建它们的适当“联合”.
我认为“概念”是可能的,但同时有可行的解决方案吗？