Hindley–Milner type inference