I wrote a bit about how to inter types here: http://jeremymikkola.com/posts/2018_03_25_understanding_algorithm_w.html http://jeremymikkola.com/posts/2018_03_25_

I wrote a bit about how to inter types here: http://jeremymikkola.com/posts/2018_03_25_understanding_algorithm_w.html http://jeremymikkola.com/posts/2018_03_25_understanding_algo... Two things I see missing from your code: A current substitution and a unification function. This paper might also be helpful to read: http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.65.7733&rep=rep1&type=pdf http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.65....