5 Apr
2001
5 Apr
'01
12:57 p.m.
| 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