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] }
Обсуждают сегодня