That's a matter of opinion. Many, me included, very much like the current, very explicit, approach.
I understand why people who like monadic constructs don't like it though.
I understand why people who like monadic constructs don't like it though.
I agree algebraic data types could improve this. I don't think monadic result types or exceptions would be an improvement.