I ran into Simon Peyton-Jones in the elevator and he said it was probably typesafe

Well, I did run into Simon Peyton-Jones in the elevator. Too bad I don't have anything to prove by eminent authority. Went to an advisor meeting. I have three 312 lectures to arrange and give. Muahaha.