Pretty printing type annotations

[C.M.Brown]

Hi,

I was wondering if there was an easy way to pretty print the result of the
type checker from GHC. I basically want the format that GHCi spits out,
rather than a type annotation with qualified types. I know I can knock up
a parser that removes the qualifiers, but I was wondering if there was a
simple function that I could call that would just printy print it for me
(and saving me the work).

The type checker gives me something of the form:

(GHC.Num.Num t1, GHC.Num.Num t) => t1 -> t -> t1

But GHCi gives me the same without any qualifying.

Hope someone can help.
Chris.