Intersect-type should not result in type error if intersecting two lists of arguments of different lengths.