Especially as the upcoming BitC language seems to have sound _and_ complete type inference http://en.wikipedia.org/wiki/BitC