So that codegen works in MPP and I believe we found a way to remove the

stack labels

trick we use reflection for in

binding

and monad comprehensions.

Essentially we discovered that for all suspended data types

bind

or

!

can be expressed in terms of stack safe function application for all capable data types that know how to deal with

suspend

. The current trick https://github.com/arrow-kt/arrow/blob/master/modules/core/arrow-typeclasses/src/main/kotlin/arrow/typeclasses/MonadContinuations.kt#L59-L61 was there to support

Monad

generalized so that

bind

can be expressed delegating to

flatMap

but if if we provide separate continuations for strict vs suspended monads this trick won't be necessary

Kapt and this reflection trick is what currently couples us heavily to just JVM

@gildor if you have any other ideas please share 🙂 we are not married to any particular approach and just wish Arrow to be MPP capable. Many users have asked for this and we think if we change meta to use PSI and rewrite the comprehensions we will get there.