Another example, `java.util.List` is invariant in ...
# getting-started
i
Another example,
java.util.List
is invariant in java, and we couldn't have made it covariant
List
in Kotlin, unless type arguments are erased.