Type Inference (Part 1) · HackerTrans