> Aren't you just re-inventing TypeTuple?

I was worried about imports. :>