Неявный параметр для BiFunctor

Я планирую использовать Bifunctor IO с каналом на ошибки. Поэтому я попытался предоставить неявный экземпляр для MonadError но он не компилируется.

import cats.MonadError

sealed trait AppErrors
   //...

object App{
    def runApp[F[_, _]: MonadError[F[AppErrors, ?], ?]] = {

    }
}

Например кошки-био: cats.BIO[+E, +A]

Я получил ошибку компиляции

Error:(13, 22) type F takes type parameters
  def runApp[F[_, _] : MonadError[F[AppErrors, ?], ?]] ={}

Я не очень понимаю, как исправить то, что требует MonadError[F[_], A],

Источник

0 ответов

Другие вопросы по тегам