How much of traits/impls have been introduced by this point? This seems like a very sudden introduction if it's the first time, but if they've been mentioned before then this is probably fine.