19 Dec
2000
19 Dec
'00
3:56 p.m.
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