use `_` to denote a higher-kinded type parameter
на любую звезду
Not found: type *
но, как оказалось,
val xs: List[?] = List(1, 2, 3)
работает
поэтому я скорее всего туплю и чот неправильно понял, но
class TypesAlgebra[F[_], Alg[_]](implicit T: InjectK[TypeOp[F, *], Alg]) {
}
где
sealed trait TypeOp[F[_], T]
видимо, надо как-то подругому переписать, а не просто _ -> ?, * -> _?
Нет, не просто.
Обсуждают сегодня