What is the Hindley-Milner type inference algorithm?

This algorithm works by:

1. Generate all constraints that the type variables must satisfy.

2. Solve those constraints (unification) to yield a type assignment.