несколько эффектов (Reader, Writer) без указания конкретной реализации?
В хаскеле это бы вглядело как: myF :: (MonadReader m, MonadWriter m, Monad m) => m a
def myF[F[_]: Monad] не подходить, по всей видимости?
да cats-mtl def foo[F[_] : Monad: FunctorListen : ApplicativeAsk]
Обсуждают сегодня