Specialisation of class with template template parameter working in clang but not in gcc

I am trying to make my code, already working on clang, compatible with gcc. I have the following main class:

template<typename T, typename...Ts>
class OperatorTypeHelper
{ public:
  using type=T;
};

template<typename...Inputs>
using OperatorType=typename OperatorTypeHelper<Inputs...>::type;

Then I do also have a class:

template<typename ConstType,typename...Inputs>
class ConstantTensor; 

I want to write a specialisation of OperatorTypeHelper so that it takes binary template template argument as first parameter and another one, which should be more specialised, that specifically takes ConstantTensor:

template<typename ConstType,typename...Inputs, typename QRule>
class OperatorTypeHelper<ConstantTensor<ConstType,Inputs...>,QRule >
{ public:
\\ do staff 
};

template<template<class,class>class Binary,typename Left, typename Right, typename...Ts>
class OperatorTypeHelper< Binary< Left, Right >, Ts...>
{ public:
\\ do staff 
};

I obtain, from gcc, an ambiguity error, which clang did not gave me. Indeed also the second specialisation can satisfies the arguments of the first one. On the other hand, I would expect the first one to be accepted. Reading on this website, I found out that, for gcc and the standard, does not seem to be the case. I also have read about the dummy argument, but I do not know to apply that since I also have variadic templates.

I would like to solve this kind of issue, if it possibile, without modifying too much the code. Or at least to have a workaround.

Here a working example (which I forgot and thaks super for this):

https://godbolt.org/z/VDAaLD

#include <functional>
#include <map>
#include <string>

template<typename T, typename...Ts>
class OperatorTypeHelper
{ public:
  using type=T;
};


template<typename ConstType,typename...Inputs>
class ConstantTensor {};

template<typename ConstType,typename...Inputs, typename QRule>
class OperatorTypeHelper<ConstantTensor<ConstType,Inputs...>,QRule >
{ public:
// do staff 
};

template<template<class,class>class Binary,typename Left, typename Right, typename...Ts>
class OperatorTypeHelper< Binary< Left, Right >, Ts...>
{ public:
// do staff 
};

template <typename L, typename R>
struct Bin {};

int main() {
    OperatorTypeHelper<ConstantTensor<int, int>, int> i;
    OperatorTypeHelper<Bin<int, int>, int> i2;
}