Let Polymorphism | OCaml Programming | Chapter 9 Video 48

Achieving polymorphism for `let` expressions in HM type inference leads to "type schemes", which universally quantify over type variables. Type variables are "generalized" at `let` bindings and "instantiated" at uses.