A unification algorithm for Hindley-Milner types

We review the psuedocode for a practical and working unification algorithm on Hindley-Milner types, covering both type function applications and type variables. We see (briefly) how it might look implemented in TypeScript. More on unification: https://en.wikipedia.org/wiki/Unification_(computer_science)