Also, if I have `suspend () -> T`, how do I kno...

# arrow

[Bob Glamm]

Also, if I have suspend () -> T, how do I know which F is used in its isomorphism in Kind<ForF, T> ?

[raulraja]

the idea is reduce IO to mins when we have full suspend cancellation support

[raulraja]

we are on a path to eliminate wrapped style in most places

[Bob Glamm]

Ok. I'm excited to see it when it is available 🙂

[raulraja]

unions also eliminates most of the need for Either

[raulraja]

also suspend is in higher order than Kind F

[raulraja]

is F for all effectful monads like IO, Observable, etc.

[raulraja]

so F disappears in effectful monads.

[simon.vergauwen]

We have full suspend cancellation support, Kotlin doesn’t have it.

The limitation is that you need to go through KotlinX or Arrow Fx wrappers depending on wich way you’re going to wire cancellation.

[simon.vergauwen]

When Kotlin supports cancellation on suspend level that could go away.