Sum types are much more useful with pattern match exhaustiveness checking for sure.