template<class T, class... Args> concept Constructible = Destructible<T> && is_constructible_v<T, Args...>;