Essentially is as follows: `ApplicativeError<F,...
# arrow
r
Essentially is as follows:
ApplicativeError<F, E>
abstracts over error handling in general