and unfortunately it leaks to the user code until ...
# arrow
r
and unfortunately it leaks to the user code until we have proper HKs in Kotlin
👍 1