Type Inference (Hindley–Milner) on the Tech Tree