help wanted with type error message
Thu, 5 Apr 2001 05:57:42 -0700
| A third extension which is ocasionally useful is not present=20
| in any Haskell implementation. I would like to say
| instance (forall a. Seq (s a) a) =3D> Foo (Bar s)
| It would allow to e.g. wrap my collections in Edison's=20
| interfaces, not only vice versa.
Yes, indeed. See Section 7 of
We havn't implemented it yet, I fear.