in `ApplicativeError` which let's you `catch` a `T...
# arrow
r
in
ApplicativeError
which let's you
catch
a
Throwable
and turn into
E
before lifting it back to the context.