A modern programming language that makes developers happier.

kotlinlang

For those wondering about the future of Higher Kinds in Arrow:

Kinds are going away because their encoding forces the user to call `.fix()` and there is no workaround for it without compiler plugins.
Once compiler plugins are properly supported perhaps after 1.5 then we will revisit kinds but instead of providing all this boilerplate we will provide a deeper and better integration than what we have now. Arrow Meta already has this support but it can’t be distributed to users until the Kotlin IDEA plugin supports compiler plugins. Kinds will be revisited then.
Since Arrow is currently marching close to the final encoding of 1.0, we can’t release a 1.0 where the entire lib and most of user code depends on Kinds in the current form and commit to maintain that for the long run.