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!