A modern programming language that makes developers happier.

kotlinlang

Hi, I'm tying to wrap my head around type classes in arrow. Pretty new to this so may be asking something dumb here. 
Is it possible to automatically derive type  class instances using HList? I'm trying to port scala example but I'm not sure how to approach it as it relies on scala compiler for implicit resolution and we don't have such a thing in Kotlin. Any examples of using this technique in Kotlin would be really helpful. Thanks.