Types readers may find some harmless amusement in slides from a talk I gave at MFPS recently... http://www.cis.upenn.edu/~bcpierce/papers/harmful-mfps.pdf Enjoy, Benjamin