Need a way to take a type like `my_tuple<a,b,c>` and rebind it to `my_tuple<x,y,z,w>`.
Need a way to take a type like
my_tuple<a,b,c>and rebind it tomy_tuple<x,y,z,w>.