and while our `F` is currently `IO`, `IO.applicati...
# arrow
s
and while our
F
is currently
IO
,
IO.applicativeError
expects
L
to be a
Throwable
which would be nice to avoid if possible.