help me understand this. the point of carrying around errors is you can handle them at the boundary and list them all, print them out with sane error messages instead of crashing hard. there might also be the case of having mutated states in files or databases that need to be handled differently depending on the error.
we’re making a distinction BECAUSE rescript is lacking certain monadic features. early returns, or the ? operator, would mitigate this, and we would be discussing a distinction without a difference.