Descubrir la cadena de invocaciones implícitas

¿Hay alguna manera de averiguar la cadena implícita completa (y estoy interesado en todos los tipos implícitos)? Estoy usando IntelliJ Idea, pero estoy buscando cualquier forma de hacerlo, incluso si tengo que trabajar con otro IDE. (y me pregunto si REPL puede ayudarme con eso)

Por ejemplo escriboa gt b dóndegt viene descalaz. Y quiero saber:

Exactamente qué instancia implícita deOrder se utilizóQué tipo de clase se usó (sé la respuesta en este caso particular: es fácil en scalaz, pero en general a veces no siempre es tan obvio)Toda la cadena cómoa recibió un métodogt. Para este ejemplo en particular, sé queToOrderOps se usó el rasgo, pero en general no lo sé y tampoco puedo entender cómoToOrderOps fue importado