Let generalization

Redirect to:

• Hindley–Milner type system#Let-polymorphism