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