Hi Gregory,

Thanks for your comment. I think you mistook a bit what the TuplifyUnion type does: Instead of delivering all permutations of the tuple elements (as you seemed to have assumed) it returns just one undetermined one. That is, you cannot control or predict the order of the elements of the returned tuple. However, your comment incited me to think on how such a permutation could be calculated and I came up with a result: https://matthias-falk.medium.com/typescript-constructing-a-permutation-type-1e79e7452a3