Such use case could possibly be enabled with [Pitch] Extensions on bound generic types.
And you still cannot conforming Array to the same protocol by such declarations. Instead, you may conditionally conform different concrete types specialized with Array to the protocol.