. . "However, when CheckIntersection is called, there is no information about concrete types of its arguments." . .