In case anyone finds it useful, I wrote an explanation of how type inference with let-polymorphism works: http://jeremymikkola.com/posts/2018_03_25_understandi

In case anyone finds it useful, I wrote an explanation of how type inference with let-polymorphism works: http://jeremymikkola.com/posts/2018_03_25_understanding_algorithm_w.html http://jeremymikkola.com/posts/2018_03_25_understanding_algo...