Major type-class overhaul

[Tomasz Zielonka]

On Fri, Nov 10, 2006 at 02:34:15PM +0000, Simon Peyton-Jones wrote:
> For some time I have been promising an overhaul of GHC's type
> inference machinery to fix the interactions between type classes and
> GADTs.  I've just completed it (or at least I hope so).
> 
> This message is just to summarise the programmer-visible changes, and
> to encourage you to give them a whirl.  Of course, you'll need to
> compile the HEAD to do this; or get a nightly-build snapshot in a day
> or two's time.

Simon, you are my hero! Seriously! :-)

I am experimenting with this new improvement - it allows me to remove
some ugly workarounds.

Best regards
Tomasz