`(Throwable) -> IO<A>` and `(Throwable) -...
# arrow
s
(Throwable) -> IO<A>
and
(Throwable) -> A
respectively