F[A])(implicit F: MonadError[F, Throwable]): F[A]
                  
                  
                  Тут есть два параметра типа как несложно заметить. Я хочу иметь возможность указывать только один. Типа такого:
                  
                  
                  
                  
                  
                  f[Task](100) {
                  
                  
                      f(200) {
                  
                  
                          ???
                  
                  
                      }
                  
                  
                  }
                  
                  
                  Можно так вывод типов подкрутить чтобы такая запись стала возожна? Может `Aux`ы какие-нибудь?
                  
                  
                
Я сначала ничего не понял.Потом прочел еще раз - и опять ничего не понял :)
def f[F[_], A]: MkF[F] = new MkF[F] class MkF[F[_]]{ def apply[A](n: Int)(a: F[A])(implicit F: MonadError[F, Throwable]): F[A] }
Обсуждают сегодня