I don't think the keyword is the problem, I am wondering more about the internals of their type inference algorithm.