Java Covariant, Contravariant

    List<T>                                    T  
      Λ                                        Λ 
      |                       if               |
      |                                        |
List<? extends T>                              ?


    List<T>                                    ?  
      Λ                                        Λ 
      |                       if               |
      |                                        |
List<?  super  T>                              T