Descobrindo uma cadeia de invocações implícitas

Existe alguma maneira de descobrir toda a cadeia implícita (e estou interessado em todos os tipos implícitos). Estou usando o IntelliJ Idea, mas estou procurando alguma maneira de fazer isso, mesmo que precise trabalhar com outro IDE. (e estou pensando se o REPL pode me ajudar com isso)

Por exemplo eu escrevoa gt b Ondegt vem descalaz. E eu quero saber:

Exatamente qual instância implícita deOrder foi usadoQue tipo de letra foi usada (eu sei a resposta nesse caso específico - é fácil no scalaz, mas em geral às vezes nem sempre é tão óbvio)Cadeia inteira comoa recebeu um métodogt. Para este exemplo em particular, eu sei queToOrderOps traço foi usado, mas em geral eu posso não saber disso e também não consigo descobrir comoToOrderOps foi importado.