def foo: F[R[Error1, Unit]]
def bar: F[R[Error2, Unit]]
}
trait MyAlg[F[_, _]] {
def foo: F[Error1, Unit]
def bar: F[Error2, Unit]
}
как в форик такое завернуть? Опять вылезут монад трансформеры. Второй вариант в стиле зио вроде подойдёт, но в котах на эту тему ничего нет особо
Обсуждают сегодня