more lifetimes, ContravariantLifetime