фикс, для того, чтобы все заработало ?
не могу понять, почему имплисит для Monad[Compose[Future, Option]#F] находится, а для UserAlg[Compose[Future, Option]#F] - нет
https://scastie.scala-lang.org/Exbfg1RFSCqND29dHTLDww
type KOKOKO[K] = Compose[Future, Option]#F[K] implicitly[UserAlg[KOKOKO]]
Обсуждают сегодня