Re: Name allocation

Peter Simons writes:

I think "Unstable" is a pretty descriptive name. Or maybe "User"? The latter is probably better for psychological reasons. :-)

I've said this privately, I think, but I think it may be worth repeating in public: I like "Unstable" as an analogue to unsafe* (as in unsafePerformIO). It sticks out like a sore thumb in source, making it very clear that it may be dangerous to rely on. -kzm -- If I haven't seen further, it is by standing in the footprints of giants