if I fix the Kotlin error like this: <https://gist...

# arrow

[noncom]

if I fix the Kotlin error like this: https://gist.github.com/noncom/35efdad34982292fab6e7a2cea3286af , it compiles