For this reason I think length, count or shape might be a better choice since naming associated types with a lowercase letter is probably quite rare.
I think shape is better than length since these are not compile-time integers; with a pack type like {T, U..., V} the actual length that it will have at runtime is unknown. The important part is that a same-length requirement is satisfied if both replacement pack types have the same "structure".