<@U7QUW41HP> Also if <https://github.com/Kotlin/KE...

# arrow

[raulraja]

@noncom Also if https://github.com/Kotlin/KEEP/pull/87 gets accepted there would be no need to .ev() if higher kinds are included in the lang and the syntax and inference in Kategory will get a lot better. Please take a look at the proposal to see what it includes if you are interested in this feature.