Name allocation

[Ketil Z. Malde]

Peter Simons <simons@cryp.to> 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