`out T` oznacza, że typ tylko “produkuje” T (możesz czytać T), więc jest kowariantny (np. `List<out Animal>` może przyjąć `List<Dog>`). `in T` oznacza, że tylko “konsumuje” T (możesz przekazywać T do środka), więc jest kontrawariantny (np. `Comparator<in Dog>`). Dzięki temu kompilator blokuje niebezpieczne odczyty/zapisy.