I’ve actually been experimenting with this on and off for about a year now. My team and I also came to the conclusion that unions were the best approach but we hadn’t considered using match. Might give that a shot if any type systems start supporting it better