Hindley%E2%80%93Milner type inference