Jonathan S. Shapiro wrote: >Due to recent work by Paritoff Shroff and Scott Smith, it seems that >there *is* a sound type system that can handle this. > The paper can be found at: http://cs.jhu.edu/~pari/papers/fool2004/first-class_FOOL2004.pdf Swaroop.