A modern programming language that makes developers happier.

kotlinlang

Hi, is there support for partial application of `suspended` functions?
This does not compile:
```import arrow.syntax.function.invoke

suspend fun add(one: Int, two: Int) = one + two

suspend fun addOne(value: Int) = (::add)(p1 = 1)

suspend fun addTwo(value: Int) = (::add).partially1(2)```

Damn, good catch. No, I don't believe we have. I'll put a ticket.

We need to address this as a compiler plugin because the alternative is to have n repeated arities for regular and suspend functions.

<https://github.com/arrow-kt/arrow/issues/1849>

agreed, we have the ticket to track it :smile:

<https://github.com/arrow-kt/arrow-meta/issues/353>

This can be done with type proofs so it’s an automatic global api for all functions by proving proof of the paths between different function types as I’m doing with Unions in the new prelude.

Any hint for short term solution? Just make a copy of file?