Excessive restriction in ghc ?

[Zhanyong Wan]

Marcin Kowalczyk wrote:
> 
> On Tue, Dec 19, 2000 at 03:15:16PM +0100, Sebastien Carlier wrote:
> 
> > > class Collection e ce | ce -> e where
> > >     empty :: ce
> > >     insert :: e -> ce -> ce
> > >
> > > class (Eq e, Collection e ce) => Set e ce where
> 
> Doesn't adding the fundep to Set's definition as well help?

It might help in this particular case, but if we want something like

  class Collection e ce => Foo ce where ...

then your trick does not apply, and I indeed need something like the
above in my project.

-- Zhanyong Wan