Certain people (*cough*quicksilver*cough*) thought it'd be nice of me to inform you of what I've been up to the last few days re: reactive bug-fixing, so here's an update. - I've rewritten unamb, fixing all the issues I've managed to find (relating to nested unamb invocations, mostly) and having it throw a BothBottom exception if both values are a finite bottom. - Written an IsEvaluated library (now on hackage) that might speed up unamb a bit. The code to use it is in place, but disabled; I don't trust it to be bug-free yet. - Rewritten makeEvent (from reactive legacy-adapters) to take advantage of finalizers. It will now produce finite events instead of deadlocking. I'm now trying to fix the joinE/>>=/mappend problems, but that might take a while. Meanwhile, more eyes on the rewritten code is better, so I've attached it; there hasn't been an official release yet. -- Svein Ove Aas