At 2001-12-06 13:11, Ashley Yakeley wrote: >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. I'm sorry, I'm not paying attention today... -- Ashley Yakeley, Seattle WA