template <class T>
std::constructible_from<T>
Default types are able to be constructed with a default value.
A type T satisfies Default if it has a default constructor.
T