help, classes!

[kirstin reese]

Well, never mind. 

But I am curious about how to do such a thing, for example, contructing a
monadic version of a set, without having to locally redefine the monad
class to include the appropriate constraints (Eq, Ord, etc.)

This must be an issue under consideration--I would love to know it's name.

cheers,

kirstin

-- 
Logic is a systematic method of coming to the wrong conclusion with confidence.