On Monday, 22 January 2024 at 21:36:47 UTC, Paul Backus wrote:
SumType does not do this automatically (because sometimes you
might want to keep the inner SumTypes separate), but you can do
it yourself like this:
alias A = SumType!(X, Y);
alias B = SumType!(Z, W);
alias C = SumType!(A.Types, B.Types);
Very nice!
