Ну я тренера наверное возьму чтобы напомнили технику. Раньше техника норм была, мне ее ставили, такой проблемы вроде бы не было, хз

https://github.com/manatki/manatki/blob/master/src/main/scala/manatki/free/Bud.scala#L5:L5

Идея примерно такая как у дегоза c Layer
Только вместо гетерогенной мапки в ридере - это ковариантный фикспойнт
Bud[Petal[F]] = F[Bud[Petal[F]]
За счёт двойной контравариантности мы получаем, что Bud ковариантен по F

Ну и типа пишешь

sealed trait UserRepoT[ +E, +A]

case class ReadUser(userId: UserId) extends UserRepoT[UserNotFound, User]
case class WriteUser(user: User) extends UserRepoT[UserConflict, Unit]

type UserRepo = Petal.Simple[UserRepoT]


sealed trait KafkaPullT[+F[+_, +_], +E, +A]
case class AddConsumer[+F[+_, +_]](topic: Topic, handler: KafkaMessage => F[Nothing, Unit]) extends KafkaPullT[F, Nothing, Unit]

type  KafkaPull = Petal[KafkaPullT]

и потом типа оборачиваешь

def writeUser(user: User): Bud[UserRepo, UserConflict, Unit] = Bud(WriteUser(user))

def addConsumer[P <: Petal[Nothing]](topic: Topic, handler: KafkaMessage => Bud[P, Nothing, Unit]): Bud[P with KafkaPull] = Bud(AddConsumer(topic, handler)

потом  хуяк, юзаешь

for {
   k <- writeUser(oleg)
   _ <- addConsumer(sugakTopic, eatHinkalee)
} yield

и тип выводится автоматически как Bud[UserRepo with KafkaPull with Monadic]

проблема только в том,что не читаемо в текстовом виде

сс Vasiliy угадал с зилеером дырок

https://github.com/typelevel/cats-effect/pull/1241
Обратная совместимость класс

https://github.com/typelevel/cats-effect/pull/1241
Обратная совместимость класс

извините ето из паблика мемы по талонам?

Куда Жиртоссе дел? Признавайся.

извините ето из паблика мемы по талонам?

https://github.com/typelevel/cats-effect/pull/1241
Обратная совместимость класс

https://github.com/typelevel/cats-effect/pull/1241
Обратная совместимость класс

НАЙС В ПРОДЕ СКАЛА?