On Thu, 15 Sep 2005, William D Clinger wrote:

> So removing the procedural layer would improve type inference
> only for programmers who need to use the procedural layer?

Touch\'e!  I have no riposte to that :-)

Andre