Corrected blurb on parameterized types (covariance and contravariance)