Is there any KEEP for adding support to something like F# computation expressions to Kotlin?

I come from a Scala background and I still think computation expressions are way cooler than for comprehensions.

It also seems like a very cool way of achieving such versatile syntactic sugar and I’m pretty sure there’s nothing stopping Java’s or Kotlin’s type system to have something like that.

They don’t even require the type system to implement higher kinded types.