In/out variance is kind of related to how Java does

Something<? extends T>

. Instead, though, it says that the generic only takes

in

or only puts

out

a certain type, such that the actual type of the generic could be something else.