For those of you interested in type refinements in Kotlin. Here is some of example of the upcoming work we are doing in Arrow Meta to bring refined types to Kotlin as a compiler plugin and a KEEP

I would love to see refinement types in the language but at first glance I am very sceptical of this implementation