Sum and product types are easier to reason about in total than exceptions. For errors they just integrate into the return type and can be handled as monads. The

Sum and product types are easier to reason about in total than exceptions. For errors they just integrate into the return type and can be handled as monads. They don’t require additional syntax and can directly be passed into other functions. They have existed since (at least) the early 70s.