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