I think the presence of multiple return values and the ability to easily use complex types for errors make a huge difference (adding wrapping messages, context

I think the presence of multiple return values and the ability to easily use complex types for errors make a huge difference (adding wrapping messages, context, etc.). I agree algebraic data types could improve this. I don't think monadic result types or exceptions would be an improvement.