I feel this ought to be done inside the `GenericArray` extractor. A few more tests to show the interaction with nested arrays and existentials might flush this out.

```scala
Array[T] with Int forSome { type T }
Array[Array[T] with Int]
```