Improving Type Error Localization for Languages with Type Inference | Hacker News Reader