Generic Programming with Associated Types

Avoid deep nesting of generic parameters by consolidating bounds into associated types.