Thanks for the quick reply. Initially I was curious if it's possible to implement something like https://github.com/btlines/pbdirect in Kotlin. But let's start with simple example (from the “The Type Astronaut’s Guide to Shapeless” book).