Проверьте, есть ли у двух классов метод с одинаковой сигнатурой

Question

Предполагать:

struct A {
    int foo(int x);
}

template<typename X>
struct B {
    int foo(int x);

    static_assert(B::foo has same sig as X::foo)
}

B<A> trigger check 

По сути, я хочу определить структуру архетипа, а затем проверить концепцию, имеет ли данная конкретная структура те же члены.

Спасибо!