[runiq]

Would the recent work on const generics help with this?

[killercup]

Not sure. Having the ability to abstract over tuples (using a similar mechanism as HLists for example) would help.