The For-All Quantifier in Lifetimes

Construct complex signatures that demand a reference is valid for any possible lifetime.