3 ms·Proper sum types are so useful, it's a tragedy so many statically typed languages lack them.by dontlaugh 3y agoProper sum types are so useful, it's a tragedy so many statically typed languages lack them.