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]
                  
                  
                  }
                  
                  
                
как в форик такое завернуть? Опять вылезут монад трансформеры. Второй вариант в стиле зио вроде подойдёт, но в котах на эту тему ничего нет особо
Обсуждают сегодня