@arclight I think it's a significant missed opportunity that compilers generally can't modify the text of their code. If you're going to infer some types at compile time, why put off finding out if you guessed right until you're in production? Why not just push that guess back into the text of the program instead?