How to make refined types in Kotlin with Arrow (https://arrow-kt.io/)

RefinedTypes.kt

import arrow.core.Option

class NonZeroInt private constructor(val value: Int) {
  companion object {
    operator fun invoke(x: Int): Option<NonZeroInt> =
      if (x == 0) Option.empty() else Option.just(NonZeroInt(x))

    fun get(x: NonZeroInt): Int = x.value
  }
}

fun safeDivide(x: Int, y: NonZeroInt): Int = x / y.value
val partialOperation = { divisor: NonZeroInt -> safeDivide(30,divisor) }

val someResult = NonZeroInt(12).map(partialOperation)
val emptyResult = NonZeroInt(0).map(partialOperation)