Type Inference and Optimisation for an Impure World (PDF) - http://cs.anu.edu.au/~Ben...