Re: Are anonymous type classes the right model at all? (replying to Re: Are fundeps the right model at all?)

[Stefan Karrmann]

A syntax to choose the active instances may be useful, too.

E.g.:

use EccenticOrd, SetCollection in exp

then in exp the instances  EccenticOrd, SetCollection are known (or preferred).
This is similiar to the open syntax in Cayenne.

-- 
Stefan Karrmann

_______________________________________________
Haskell mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/haskell