I found that I have problems with validating such code via psalm:

class Container
{
    /** @param Sequence<string> $strings */
    public function __construct(Sequence $strings) {}
}

new Container(new Vector());

It's because __construct() of the Vector is described in GenericSequence trait which is typed incorrectly: generic types are only defined in interfaces, but not in traits. This PR fixes that, adds @template-use annotations to trait clients, and also removes meaningless @inheritDoc annotation from GenericSequence, which by the way was not used in GenericCollection (traits have no inheritance tree).