я прост щас с тофой сижу и обнаружил https://github.com/zio/interop-cats/blob/de0105d950027b011b2c653c809730ed8abfd61e/interop-cats/shared/src/main/scala/zio/interop/cats.scala#L581
что стандартный инстанс LiftIO не отменяет лифнутый ИО

The current implementation does not use the cancelation token in case of interruption: interop-cats/interop-cats/shared/src/main/scala/zio/interop/cats.scala Lines 579 to 582 in 429e227 private cla...

import ObjState._
import SubState._
import Command._

sealed trait ObjState[T] {
 val subState: T
}

object ObjState {
 final case class Active[T]  (subState: T) extends ObjState[T]
 final case class Inactive[T](subState: T) extends ObjState[T]
}

sealed trait SubState

object SubState {
 case object Undefined extends SubState
 case object Confirmed extends SubState
 type Undefined = Undefined.type
 type Confirmed = Confirmed.type
}

sealed trait Command

object Command {
 // There are 4 possible combinations of (ObjState x SubState)
 // Active(Undefined)
 // Active(Confirmed)
 // Inactive(Undefined)
 // Inactive(Confirmed)
 // All these combinations are valid
 
 //But there are only two valid commands
 //Either we register a previously undefined state
 //Or        save     a confirmed one
 
 /** It's only possible to register a previously unknown state */
 final case class Register[St[_] <: ObjState[_]](state: St[Undefined]) extends Command
 
 /** It's only possible to confirm a confirmed…