the problem with these ports (including mine) is that some of the key ideas they build on in Scala don't quite carry over to Kotlin's type systems, like higher kinded types and type classes