use the `catch` constructor in MonadError at least...
# arrow
p
use the
catch
constructor in MonadError at least, and capture the whole function