HMQ: Principal Type Inference Under a Prefix | Hacker News Reader