А так, действительно, если придумать женерики такие, что структура в них конвертится простым коерсом, то и для работы с ними никакого оверхеда не будет даже без дополнительных оптимизаций со стороны компилятора
Главное, что это будет сильно эргономичнее в использовании, чем руками писать дерайвинг на прок макросах.