Потому что зав типы в скале не полноценны. Есть разные ограничения. Есть места в которых вычисление останавливается. Здесь помогла простая изоляция вычислений. type KOKOKO[K] = Compose[Future, Option]#F[K] - сначало вычисляется KOKOKO, а UserAlg[Kokoko] - это уже очень простой тип, потому что UserAl вычислен и Kokoko тоже.
Обсуждают сегодня