Well, we have an existing design that gives a hint at what it looks like -- `marker::ContravariantLifetime<'a>`