Covariant, invariant, contravariant, lower bounds, upper bounds?