Heterogenous sized vectors where the types “work elsewhere”

Question

Suppose I have a function that works on a vector with size known at compile-time (these are provided by the vector-sized package):

{-# LANGUAGE D