Is it possible to use the pattern (x:xs) using a parallel array [::]?
If it's there at all, I would expect the syntax to be as (:) is to [,]: (:x:xs:). That said, normal arrays have no such syntax, so parallel arrays may not either. (Then again, normal arrays don't even have an equivalent of [: :]; you have to marshal/demarshal from a list.)
--