Hindley-milner type system demystified 2025-10-13 a guide to hindley-milner type system: types, unification & algorithm w with haskell implementation