@mk about your idea of migrating cats to Kotlin, can you take a look at funKTionale? I'm not an expert on cats myself, but I'm interested in any contribution/observation/PR