Я понимаюполучить и поставить принцип для коллекций: если метод принимает коллекцию, в которую он будет записывать тип T, параметр должен бытьCollection<? super T>тогда как если он будет читать тип T из, параметр должен бытьCollection<? extends T>.

Но может кто-нибудь объяснить, пожалуйста,Collections.max() подпись:

public static <T> T max(Collection<? extends T> coll,
                    Comparator<? super T> comp)

В частности, почему этоComparator<? super T> вместоComparator<? extends T> ?