Tying Up Type Inference | Hacker News Reader