Algorithm W is the original algorithm for infering types in the Damas-Hindley-Milner type system https://github.com/tomprimozic/type-systems/tree/master/algorithm_w