<@U5KN9D7S5> The `handleWithError` seems to be def...

# arrow

[streetsofboston]

@ivanmorgillo
The handleWithError seems to be defined something like this:
fun <A, B> Kind<A, B>.handleErrorWith(f: (A) -> Kind<A, B>): Kind<A, B>, the type parameter A never changes.

Not sure if there is a function like this:
fun <A, B, A2> Kind<A, B>.handleErrorWith(f: (A) -> Kind<A2, B>): Kind<A2, B> , which would work in your case, where A2 would be a Nothing

Or even something like this
fun <A, B> Kind<A, B>.handleErrorWith(f: (A) -> Kind<Nothing, B>): Kind<Nothing, B> would work, since the error is being handled…..