Взято из typelevel/kind-projector , в чем разница между: // partially-applied type named "IntOrA" type IntOrA[A] = Either[Int, A] и // type projection implementing the same type anonymously (without a name). ({type L[A] = Either[Int,...

Рассмотрим следующее определение типа: trait LiftF[F[_], G[_]] { def liftF[A](fa: F[A]): G[A] } При предоставлении требования для имплицита этого типа в границах контекста (используя плагин Kind Projector) мы должны написать это так:...