Can I write dependencies like this: > class C x y z | x -> (y, z) > class D x y z | (x, y) -> z
in hugs? in ghc? The ghc doc refers to Mark Jones: "Type Classes with Functional Dependencies", http://www.cse.ogi.edu/~mpj/pubs/fundeps.html where this seems to be allowed (section 4, page 9) Especially, I would need class D above. -- -- Johannes Waldmann ---- http://www.informatik.uni-leipzig.de/~joe/ -- -- [EMAIL PROTECTED] -- phone/fax (+49) 341 9732 204/252 -- _______________________________________________ Haskell mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell