[Haskell-cafe] GADTs, type classes, existentials

[Mike Hamburg]

On Sun, 2007-05-06 at 07:10 -0700, Stefan O'Rear wrote:
> On Sun, May 06, 2007 at 03:11:12AM -0700, Mike Hamburg wrote:
> > Is there a clean way around this error?
> 
> Yes, upgrade.
> 
> Type classes and GADTs are broken in all versions prior to HEAD (at
> which point Simon made a heroic effort to do something I don't quite
> understand to the type checker). 
> 
> Stefan

Ah.  Well, thanks for your time, and props to Simon!

Mike