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