[Haskell-cafe] GADTs, type classes, existentials

2007-05-06 Thread Mike Hamburg
, because one can't deduce Ord k from Ord (k1,k2). Is there a clean way around this error? Thanks for your time, Mike Hamburg ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] GADTs, type classes, existentials

2007-05-06 Thread 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