In article <[EMAIL PROTECTED]>,
 Ken Shan <[EMAIL PROTECTED]> wrote:

> Just today (and not
> only today) I wanted to write instance definitions like
> 
>     instance (forall a. C a => D a) => E [a] where ...

I've wanted this for awhile, in both class and instance declarations.

-- 
Ashley Yakeley, Seattle WA

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

Reply via email to