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