In one project I had the same problem to generate a type class when some Type T is not a tuple. In the end the solution was like here (making the implicit resolution ambigiuous), but in order to make IntelliJ happy, it was necessary to not rely on Macros or typeclasses relying on Macros.