Algorithm W type inference diagram

A diagram shows expressions passing through stages labeled for routing, variable substitution, unification, and type generalization, with an occurs check highlighted in red.