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
_______________________________________________
Haskell mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/haskell

Reply via email to