On 11/29/22 07:26, Walter Bright wrote: > Go ahead, Make My Day! Destroy! > > https://github.com/WalterBright/DIPs/blob/sumtypes/DIPs/1NNN-(wgb).md I guess another point is that a precise tracing garbage collector can properly understand the sum type memory layout, which is currently impossible with library-defined types