1 {-# OPTIONS -fglasgow-exts #-}
3 -- !!! Functional dependencies and existentials
5 -- Hugs (February 2000) doesn't like it. It says
6 -- Variable "e" in constraint is not locally bound
8 module ShouldCompile where
10 class Collection c e | c -> e where
14 data SomeCollection e = forall c . Collection c e => MakeSomeCollection c