I got the link to your article from my article, I wanted to respond earlier, but have been quite busy lately.

Even though the solution is not straighforward, one impressive thing that it provides is the return value of the TuplifyUnion type, which are all possible permutations of the provided union. I don't know how I would use it in a commercial environment, but it might come handy in the future.