A Maximum Function For Various Type Arbitrary Nested Iterable Implementation in C++ This is the follow-up question for A Summation Function For Various Type Arbitrary Nested Iterable Implementation in C++. Besides the summation case, I am trying to implement a Max function which can find the maximum value in various type (comparable) arbitrary nested iterable things as the further step. The recursive technique is also used here in order to iterate all elements. Some concepts as the constraints for template are as below.
template&lt;typename T&gt;
concept Summable = requires(T x) { x + x; };

template&lt;typename T&gt;
concept Iterable = requires(T x)
{
    x.begin();      // must have `x.begin()` 
    x.end();        // and `x.end()` 
};

The key implement part about this Max function.
template&lt;typename T&gt; requires Summable&lt;T&gt;
static T Max(T inputNumber);        //  Deal with the base case like &quot;Max(static_cast&lt;int&gt;(1))&quot;

template&lt;class T&gt; requires Iterable&lt;T&gt;
static auto Max(const T&amp; numbers);  //  Deal with the iterable case like &quot;Max(std::vector&lt;long double&gt;{ 1, 1, 1 })&quot;


template&lt;class T&gt; requires Summable&lt;T&gt;
static inline T Max(T inputNumber)
{
    return inputNumber;
}

template&lt;class T&gt;  requires Iterable&lt;T&gt;
static inline auto Max(const T&amp; numbers)
{
    typedef typename std::iterator_traits&lt;typename T::iterator&gt;::value_type
        value_type;

    decltype(Max(std::declval&lt;value_type &amp;&amp;&gt;())) maxValue{};

    maxValue = static_cast&lt;decltype(maxValue)&gt;(Max(numbers.at(0)));
    for (auto&amp; element : numbers)
    {
        if (maxValue &lt; Max(element))
        {
            maxValue = Max(element);
        }
    }
    return maxValue;
}

The std::vector test case to this Max function.
std::vector&lt;int&gt; v{ 1, 2, 3, -1, -2, -3 };
int largest_element = *std::max_element(v.begin(), v.end());
std::cout &lt;&lt; largest_element &lt;&lt; std::endl;
std::cout &lt;&lt; Max(v) &lt;&lt; std::endl;

The value of largest_element and the result of Max(v) are the same.
The std::array test case to this Max function.
std::array&lt;long double, 10&gt; testArray;
for (size_t i = 0; i &lt; 10; i++)
{
    testArray[i] = i;
}
std::cout &lt;&lt; Max(testArray) &lt;&lt; std::endl;

The more complex (std::vector&lt;std::vector&lt;long double&gt;&gt;) case:
std::vector&lt;long double&gt; testVector1;
testVector1.push_back(1);
testVector1.push_back(20);
testVector1.push_back(-100);

std::vector&lt;long double&gt; testVector2;
testVector2.push_back(10);
testVector2.push_back(90);
testVector2.push_back(-30);

std::vector&lt;std::vector&lt;long double&gt;&gt; testVector3;
testVector3.push_back(testVector1);
testVector3.push_back(testVector2);
std::cout &lt;&lt; Max(testVector3) &lt;&lt; std::endl;

All suggestions are welcome.
The summary information:

Which question it is a follow-up to?
A Summation Function For Various Type Arbitrary Nested Iterable Implementation in C++

What changes has been made in the code since last question?
The previous question focus on the summation operation and the main idea in this question is trying to achieve the maximum operation.

Why a new review is being asked for?
In my opinion about this code, there are some problem existed. Although this Max function seems works well, there is a little weird to the usage of Summable concept here. Is it a good idea to replace this Summable into a new concept Comparable? If so, Is there any better idea or suggestion about the design of Comparable? I have ever comes up an idea to the concept Comparable like below.
template&lt;typename T&gt;
concept Comparable = requires(T x) { x &gt; x; };

However, the operator &quot;&gt;&quot; has been defined in std::vector until C++20. This operator &gt; compares the contents lexicographically. This causes the error &quot;ambiguous call to overloaded function&quot;.
Moreover, is it a good idea to simplify the initial value assignment maxValue = static_cast&lt;decltype(maxValue)&gt;(Max(numbers.at(0))); into maxValue = Max(numbers.at(0)) (remove the static_cast syntax)?
Using the right concept
Indeed, Summable is the wrong concept to use if you want to check if the value type is such that you can calculate the maximum of two values. Have a look at the documentation of std::max(). In particular, it requires that the type is LessThanComparable. So you could create a concept to test that. There is already a concept std::totally_ordered, which is a bit more strict than necessary.
Simplify Max()
You do an elaborate dance to get the right type for maxValue, but why not just use auto? Also, use std::max() to calculate the maximum for you:
template&lt;class T&gt;  requires Iterable&lt;T&gt;
static inline auto Max(const T&amp; numbers)
{
    auto maxValue = Max(numbers.at(0));

    for (auto&amp; element : numbers)
    {
        maxValue = std::max(maxValue, Max(element));
    }

    return maxValue;
}