More Lifetimes

Lifetimes that depend on other lifetimes

'a: 'b stuff: subtyping

Higher ranked trait bounds

for<'a>

Needed for closures