Type Inference (Part 1)

9 points by thunderseethe