типа эти инстансы есть. Наприме для
final case class Foo[F[_], A](run: F[A]) extends AnyVal
точно есть F[_]: Monad => Monad[Foo[F, ?]]
И наоборот
Обсуждают сегодня