I would not expect the T type in a Collection<List<T>> to be used in a way where inference would be an issue. Typically, the type system would use parametric po

I would not expect the T type in a Collection<List<T>> to be used in a way where inference would be an issue. Typically, the type system would use parametric polymorphism to just deal with the Collection and then probably ‘pattern-match’ on the type inside a list.