In this paper we develop a complete implementation of the classic algorithm W for Hindley- Milner polymorphic type inference in Haskell.