Haskell has monads, which allow you to define the propagation behavior of Either and then hide the syntax overhead behind do notation. Using the data type of Ha

Haskell has monads, which allow you to define the propagation behavior of Either and then hide the syntax overhead behind do notation. Using the data type of Haskell error handling--which exists in an ecosystem of monads... a way of defining the interaction of sequential code and injecting behaviors such as error propagation--but without the engine for Haskell's error handling misses the point of what functional languages are doing with errors.