A modern programming language that makes developers happier.

kotlinlang

We'll have good news regarding Arrow soon

Ah, this is interesting. Your going to set up the annotation processor to generate higher-kinds for each specifically annotated function, right?

Why is there an annotation for type class file generation (just curious)?

Kotlin does not support type classes and we codegen the boilerplate needed to resolve instances

@typeclass Functor&lt;F&gt;:  TC { ... } gives you automatically :

```
functor&lt;F&gt;(): Functor&lt;F&gt;
```
in Arrow

<https://github.com/arrow-kt/arrow/pull/541>