So you still don’t understand Hindley-Milner? Part 1 – Amit’s Blog