Is there a way to do that easily?

# getting-started

[Kevin]

Is there a way to do that easily?

[marstran]

You need something called "dependent types" to do this, and Kotlin doesn't have that. Very few languages have this. The only one I know of is Idris.