Re: forall and class contexts

G'day all. On Wed, Oct 16, 2002 at 08:40:18AM +0100, Simon Peyton-Jones wrote:

There aren't many type constructors T for which T a is an equality type...

I can think of a few, like IORef. Admittedly I can't think of any that are also monads. Cheers, Andrew Bromage