Method matching an array with elements of a composite type with parametric types

[mroavi]

What change would I need to make to

function product(F::Array{Factor{T,N} where N, 1}) where T
  # ... code that uses `T`
end

to be able to access N inside the body of the function?