3 ms·They are literally sum types, with records being the corresponding product types.by kaba0 4y agoThey are literally sum types, with records being the corresponding product types.