Intersection_type loading ...