Hindley–Milner Type inferencing in C | Heykuki News