| A third extension which is ocasionally useful is not present
| in any Haskell implementation. I would like to say
| instance (forall a. Seq (s a) a) => Foo (Bar s)
| It would allow to e.g. wrap my collections in Edison's
| interfaces, not only vice versa.
Yes, indeed. See Section 7 of
http://research.microsoft.com/~simonpj/Papers/derive.htm
We havn't implemented it yet, I fear.
Simon
_______________________________________________
Haskell mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/haskell
