うむ。
事前の外部conceptsでなくテンプレート内で定義の必要を明示する方が良いわ

template<typename T>struct A{
bool operator(T a,T b){return CONCEPT<a,b>(a>b);} };