фигня с either? Я заметил кстати что если вместо F программе давать какой нибудь конкретный копродукт, то компилятор перестаюет ругаться на Either. А если как в линке, то нужно везде ручками дописать тип Either https://pastebin.com/GcnpTDZV
if (b < 2) "Nope".asLeft.pure[Free[F, ?]] else b.asRight.pure[Free[F, ?]]
или даже c <- b.asRight.ensure("Nope")(_ < 2).pure[Free[F, ?]]
Обсуждают сегодня