Awesome, would be interesting to see.
I added that comment on account of the fact that if the number of types is close to the number of elements, you’re just going to have a bunch of extra for loops over 1-element Vectors stored in the TypeSortedCollection. So in this case, using a TypeSortedCollection instead of a Tuple will just add a bit of overhead without getting any payback in terms of reduced compilation time.