The annoyance is when you have to store these things in a type because for type stability you need to parameterize the type on everything the sotred fields parameterize on, including the "redundant" ones.
For example, I have a tensor type which is wrapping a tuple and instead of
storing "SymmetricTensor{dim, order, T}" I have to store "SymmetricTensor{dim,
order, T, N}" where N is the number of independent components.
