Matthias Felleisen wrote: > 1. I have 10 years of experience with non-graphical type inference > both HM and SBA. It is clearly the worst thing that anyone in ^^^^^^^ ^^^^^^ > CS ever came up with. ^^^^ Matthias never exaggerates, of course. (-: Shriram