Part 1 reveals the covariant and contravariant relationships between simpler elements such as array types and generic types, as well as the special Java language ... T> { T data; void write ...