At 2002-02-20 13:15, Simon Peyton-Jones wrote:

I have not implemented, yet. As always my implementation priorities are strongly influenced by my perception of whether some enhancement would be used. Maybe you can outline why such a change would be useful to you? I only have the example in our paper as motivation so far.

I just came across one. I want to create a class for refs, such that they are in Eq: class (forall a. Eq (r a)) => Ref m r where { newRef :: a -> m (r a); ... etc. } -- Ashley Yakeley, Seattle WA