template<class T, class... Args> concept constructible_Βfrom = destructible<T> && is_constructible_v<T, Args...>;