2 ms·Sum types are much more useful with pattern match exhaustiveness checking for sure.by vmchale 3y agoSum types are much more useful with pattern match exhaustiveness checking for sure.