Pluggable Type Inference for Free
programanalysis.blogspot.com