Гуру джавы, есть вопрос по дженерикам, public static void main(String[] args)

Question

Гуру джавы, есть вопрос по дженерикам, public static void main(String[] args)

{
String s1 = ex1(); // compile ok
String s2 = ex2(); // not compile
}

public static <T extends List> T ex1(){
return (T) new ArrayList<>();
}

public static <T extends ArrayList> T ex2(){
return (T) new ArrayList<>();
}

Почему выводится тип в ex1()? И почему не выводится, в таком случае, тип для ex2?