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