4 ms·The proposal does both sum types and union types.by munificent 2y agoThe proposal does both sum types and union types.