Implementing traits for complex Generics

Compose trait bounds that operate on generic types with multiple lifetimes.