Концепции С++ видят функцию для моего типа, но не видят ее для std::vector

Я пытаюсь реализовать что-то вроде Haskell Prelude на С++ с классами типов, такими как Functor, Monoid и т.д. Поэтому я решил использовать C++ Concepts для проверки типов, но столкнулся с проблемой при попытке реализовать концепцию Semigroup.

Проблема возникает, когда я пытаюсь объявить концепцию, использующую некоторую функцию, которая объявлена ​​и перегружена для необходимых типов позже в коде, но она актуальна только для некоторых типов, таких как std::vector, но для моих собственных типов работает хорошо.

Полный код:

template<class T>
struct S {
    // ...
};

template<class T>
concept Addable = requires(T a, T b) {
    { add(a, b) } -> T;
};

template<class T>
S<T> add(const S<T> & a, const S<T> & b) {
    // ...
    return {};
}

template<class T>
std::vector<T> add(const std::vector<T> & a, const std::vector<T> & b) {
    // ...
    return {};
}

int main() {
    std::cout << Addable<S<int>> << '\n';
    std::cout << Addable<std::vector<int>> << '\n';
}

Я ожидаю результат 1 1, но фактический результат 1 0. Таким образом, он не распознает std::vector как Addable независимо от объявленной перегрузки add(std::vector), но распознает тип S как Addable.

УПД: Проблема исчезнет, ​​если я передвину функцию add перед понятием Addable. Но выглядит очень неудобно и неясно, что я должен реализовать все концепции, которые я включаю для таких типов, как std::vector, прежде чем я включу эти концепции.

УПД2: Я использую GCC 9.1.0.