Oℕ
на самом деле мне нужон
но я хочу сначала с ловеркайндом определиться
trait CoRepHomK[P[_[_], _[_]]]{
type R[a, b]
def tabulate[F[_], G[_],(k: ([a] =>> (R[*, a] ~> F)) ~> G): P[F, G]
def index[F[_], G[_], A](p: P[F, G], f: R[*, A] ~> F[B]): G[A]
}
но я хочу сначала с ловеркайндом определиться
