At 2001-12-06 13:04, John Hughes wrote: > > data Foo c = forall a . c a => Foo a
What are you trying to say? In 'data Foo c' you are saying that c is a type (as a parameter). In 'c a =>' you are saying that c is a class. So naturally Haskell complains. -- Ashley Yakeley, Seattle WA _______________________________________________ Haskell mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell
