I am confused about the section on covariance and contravariance on pp. 118-120. The book says that parameters are covariant, and return types are contravariant.

That's fine. But then in discussing covariant generics, the example at the bottom of p. 120 involves return types, which I thought was related to contravariance.

Likewise with contravariant generics.

Does the author have the explanations switched?

Any clarification would be appreciated.