π¬ Hindley-Milner ImplementationType Reconstruction, Algorithm W, Constraint Generation, Polymorphism