40. Advanced Traits

Associated types tie one output type per implementation, as Iterator::Item does. Generic associated types allow lifetimes in those positions. Blanket impls apply a trait to every type meeting a bound, and marker traits express properties without methods.