Is it possible to do some level of type-level metaprogramming in ada?
I want to programmatically create a Struct of arrays. I want to be able to give it a struct and get back a new struct, where every field is the vector version of the original.

Is this possible in ada?