Re: Excessive restriction in ghc ?

19 Dec 2000

      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