Excessive restriction in ghc ?

[Marcin Kowalczyk]

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?

-- 
Marcin 'Qrczak' Kowalczyk