[Pitch] Primary Associated Types in the Standard Library

[John_McCall]

Yeah, that was the suggestion Keith Bauer made in the first SE-0346 review.