where I’m proposing `(Throwable) -> B`
# arrow
k
where I’m proposing
(Throwable) -> B