Handling errors as values is great, but making that value a product type rather than a sum type is not good design. It means you have to return a result even wh

Handling errors as values is great, but making that value a product type rather than a sum type is not good design. It means you have to return a result even when you have an error, and so nothing enforces that the user actually handles the error properly.