Hindley-Milner on a dynamic language | Hacker News Reader