Covariance and Contravariance in Lifetimes

Apply variance rules to subtyping and lifetime flexibility in generic programming.