I was wondering how given a Type I can get a pretty printed type out of it.

I’m currently using showSDocUnqual . pprType . snd . tidyOpenType emptyTidyEnv

But this has the problem that predicates don’t get printed, anyone know how GHCi does this?

Thanks,

Phyx