Right - What I'm saying is that the above former code does handle the error, in the exact same way as the latter code. For clarification, the error is handled

Right - What I'm saying is that the above former code does handle the error, in the exact same way as the latter code. For clarification, the error is handled implicitly (but you'd know what kind of error it was due to the type signature), but you can always handle it in manner you choose to at any point.