Доработки по partial application overload inference.