Создать метод, возвращающий конкретный тип потомка обобщенного типа

Столкнулся с непониманием между мной и явой в вопросе вывода типа. А именно: не могу написать метод, возвращающий не просто коллекцию, а конкретного потомка коллекции.

public static <T, L extends Collection<T>> L genList(){
   return (L)new ArrayList<T>();
}

По задумке, этот метод вернет потомка Collection, причем все методы потомка будут доступны. На практике, этот код вообще не работает, пока не кастанешь в L. А если кастанешь - распрощаешься с методами потомка. Как же так, если по-идее ArrayList является потомком Collection?

На код выше меня сподвиг рабочий код:

public static <T, L extends Collection<T>> L getCollection(L list, T t1, T t2, T t3){
    list.add(t1);
    list.add(t2);
    list.add(t3);
    return list;
}

Смысл этого кода в том же - получить объект, с которым можно работать, как с коллекцией. А на выходе получить этот же объект с сохранением типа.

Почему этот код работает, а код выше - нет? Не пойму.

Ну и на закуску очень странный для меня код шреденгера, который работает и не работает одновременно.

public static <T, L extends Collection<T>> L genCollection(Supplier<L> gen, T t1, T t2, T t3){
    L list = gen.get();
    list.add(t1);
    list.add(t2);
    list.add(t3);
    return list;
}

Отличие от предыдущего кода в том, что мы на вход подаем не коллекцию, а лямбду, возвращающую коллекцию. И, в зависимости от того, что мы туда передадим, у нас код будет возвращать как конкретный тип, так и обобщенный.

Возьмем к примеру, следующий тип:

public class ItWorks<T> extends ArrayList<T> {
    public void itWorks(){
        System.out.println("It works!");
    }
}

И применим к нему методы:

getCollection(new ItWorks<>(), 1,2,3).itWorks();
genCollection(ItWorks::new,1,2,3);
genCollection(() -> new ItWorks<>(),1,2,3).itWorks();

Первый и третий методы возвращают сам тип, а второй - обобщенную коллекцию. Что не так?