The migration guide is very well written, thanks a lot ^^
I understand that higher kinded types are being removed because their integration in Kotlin is far from perfect, but do you think that decision is going to stand or are you thinking of reintroducing them sometime in the future when the language has changed to fit them better (eg. Arrow Meta, multiple receivers...)?