scala - BiFunctor の暗黙的なパラメーター

Question

IOエラー用のチャネルでBifunctor を使用する予定です。そのため、暗黙的なインスタンスを提供しようとしましMonadErrorたが、コンパイルに失敗しました。

import cats.MonadError

sealed trait AppErrors
   //...

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

    }
}

たとえば、cats-bio :cats.BIO[+E, +A]

コンパイルエラーが発生しました

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

を必要とすることを修正する方法がよくわかりませんMonadError[F[_], A]。