The Coq mailing list

[Daniel Schepler <dschepler AT gmail.com>]

On Wed, Aug 15, 2012 at 6:26 AM, Richard Dapoigny
<richard.dapoigny AT univ-savoie.fr>
 wrote:
> Hi all,
> I use actually type classes for building hierarchies and I wonder how to
> print these hierarchies as we can do with simple coercions (e.g., Print
> Graph).
> If someone has an idea...
> Thanks in advance,
> Richard

"Print HintDb typeclass_instances." might come close to what you want
-- although it would print the actual instance names and not the types
of arguments that go into the instances.
-- 
Daniel Schepler