2 ms·I did mean sum types. Thank you for the correction.by lambdasquirrel 5y agoI did mean sum types. Thank you for the correction.