For example if you wanted to get

Monoid<F>

where F is sometimes String or Int. There is currently no way in Kotlin to write any kind of polymorphic code without emulating HigherKinds like derive4j

Monoid perhaps is not a good example but

Monad<F>

where F is something like

List

We can't refer to Higher Kinds without emulating them and there is no way for me to generically get an instance of a Monad<F> without explicitly passing it around. This makes typed FP in Kotlin not very practical at the moment.

Also @dh44t I looked at funKTionale, great stuff 👏