How do you incorporate a protocol's static members into another type's extensions by way of a generic placeholder?

[CrystDragon (Lincoln Wu)]

If this get landed someday, we can then avoid spelling out the .self part.