This keynote does a good job in stressing that monads are all about allowing programmers to write explicit code only for the happy path in the specific context at hand (e.g., in the context of a "throwable" computation)