type checker tree output

[Gregory Wright]

Hi,

Is there any way to make GHC dump the type checker tree in some kind of
human readable format? I'm not interested in it when it is successful, 
but I'd
like to look at the search tree when type checking fails.

Is this possible?

Best Wishes,
Greg Wright