 Generic type invariance

Even when S is a subtype of T, neither G<S> nor G<T> is generally a subtype of the other. This prevents unsafe writes into mutable generic containers. Wildcards express restricted views.

// Target: computer-science.bigb