We refactor a function that uses try/catch to a single composed expression using Either. We then introduce the chain function to deal with nested Eithers resulting from two try/catch calls.
I'm not sure I understand your question. Can you clarify? Either is the actual monad here chain is >>=