Ок, спасибо.
Думаю трейт нам тоже подойдет

да, надо видимо линзы делать для трейтов

final case class Calls[F[_], R] (
  call1: Int => F[Option[R]],
  call2: (String, Int) => F[List[R]],
  //...
  callN: Boolean => F[R]
)

Если кому интересно практическое применение этого, то вот оно.
У нас есть trait Service[F[_]] {
def call1(Int): F[Option[InternalDomainClass]]
}

а еще у нас есть несколько APIController-ов для нескольких API - internal1, internal2, public1, public2
Каждый API имеет свои DTO(Dto1, ..., Dto4) с немного разной структурой, но строго выполняется условие что:

f1: InternalDomainClass => Dto1
...
fN: InternalDomainClass => DtoN

Собстенно хотелось применять f1, .., fN к результатам вызова Service, чтобы получать разные dto для разных APIController-ов

P.S. case class используется для упаковки методов Service и методов других сервисов в вызовы конкретного APIController, потому что не все методы Service нужны в APIController.
И в APIController нужны методы из других сервисов(авторизация и т. д.)

DIstage мне говорит, что моё io после retry

val io: IO[Throwable, Unit] = ???
io.retry(Schedule.duration(10.seconds))

превращается в IO[Any, Unit] и он теперь не знает, что с моим Any делать, а всё из-за товарища
zio.Schedule#duration:

def duration(duration: Duration): Schedule[Clock, Any, Duration] =
    elapsed.untilOutput(_ >= duration)

DIstage прав? zio.Schedule#duration козёл?

изолированный пример давай, так непонятно

Но вроде мы не виноваты

Интересно

Раньше вроде в специальной группе обсуждали

Не подумайте, я не против совсем, просто интересно

Знает кто-то, есть где-то примеры использования подхода, описанного здесь или здесь, когда есть два функтора и один из "без ошибок", как в ErrorsTo[F, G]?

Зио

Дока в тофу хорошая

в зио конкретные эффекты, мне скорее интересно когда эффекты абстрактные

Тебе опенсурс проекты нужны?

На мой взгляд, не самая полезная штука, чтобы таскать по своему коду разные эффекты из-за этого. То ли дело WithRun - маст хэв в любом продакшене

я пытаюсь разобраться в разных способах обработки ошибок, это один из них, так что хочется посмотреть

любое, на что я могу посомтреть

доступа в репу тинька у меня нет

Приходи к нам в тинек, будут