Schranken für Typparameter

• kovariant: <T extends S>
• kontravariant: <S super T>

interface Comparable<T> 
    { int compareTo(T x); }
static <T extends Comparable<T>> 
    T max (Collection<T> c) { .. }

kontravariantes Beispiel?