rms@WHEATIES.AI.MIT.EDU (Richard Stallman) (10/08/88)
would it be possible to eliminate the cast operator on the front
of the list and infer the type of a homegenous bracketed list
from its elements (or maybe just the first element)?
It might be possible, but I think it is a very bad idea. I will not
introduce expressions whose meanings depend on the context.