🔬 Hindley-Milner ImplementationSpecificType Reconstruction, Algorithm W, Constraint Generation, Polymorphism