Adventures in Type Inference Convergence: 2017 edition In my last post on type inference convergence, I described a correct inference algorithm. However, while this was a tremendous…