Maybe someone who knows the internals of the type system can explain if this is something that could be implemented in the future (and if there are plans to do so) or if this is something that is not possible due to general limitations of how the type system in Julia works.
The order of type parameters can be somewhat arbitrary and affected by other considerations (eg the most frequently used ones usually come first since that is a bit more convenient for parametric dispatch), so they should not be something to rely on.
is a subtype of AbstractArray that implements the interface, but has no type parameters.
So, in a nutshell, this kind of method dispatch is not very generic or useful as a design pattern.
You may want to give more context about your problem, so that an idiomatic solution can be suggested. I frequently find that generic APIs, possibly combined with traits, can provide an effective, convenient, and extensible solution.
This was basically my first intuition to solve the issue here without having to add an extra dependency on StaticArrays.jl. I have solved it in a quite non-idiomatic way by checking the element type here. The solution works fine but doesn’t feel very elegant.