Hindley-Milner in Ruby | Hacker News Reader