Sure you you start with an error monad, then you add do notation and then you end up with (checked) exception syntax and semantics. Then the cycle repeats. At

Sure you you start with an error monad, then you add do notation and then you end up with (checked) exception syntax and semantics. Then the cycle repeats. At some point you realize that exceptions, error codes and the error monad are all equivalent except for syntax and with enough syntactic sugar it should be possible to unify them.