тем что мне не нужно чесать мизинцем фурункул в ухе

В скале если, то это неявный параметр, который компилятор ищет в текущем implicit scope. Пример:

    @tailrec
    def find[A, B](key: A, xs: List[A])(implicit e: Eq[A]): Maybe[A] = xs match {
        case Nil => Nothing
        case x :: xs => if (e.eq(key, x)) Just(x) else find(key, xs)
    }

это функция, которая принимает 2 явных параметра и один неявный e.
Задача решается следующая: дано значение типа A и список значений того же типа A, найти его первое вхождение, если оно там есть.
Алгоритм простой: идём сначала до конца и проверяем, равен ли элемент или нет. Естественно возникает вопрос: а кто сказал, что значения можно сравнивать?
На этот вопрос даёт ответ имплисит e (его часто ещё называют witness), который и обеспечивает нужную функциональность.
Короче, всё как в Rust, только в Rust мы обычно пишем find<A: Eq>.

Когда эта функция вызывается, например:

val xs = List(1, 2, 3)
val y = find(4, xs)

то компилятор ищет в текущем неявном скоупе какой-нибудь объект типа Eq[Int] и если он его находит в единственном экземпляре, то подставляет туда и формирует вызов. Ошибкой является как то, что объекта такого типа не находится, так и то, что таких объектов больше одного.
Принести значение нужного типа в неявный скоуп можно импортом, объявлением в текущем классе, в объекте-компаньоне и как-то ещё, не суть важно (тем более правила поиска имплиситов менялись от версии к версии, сейчас я не в курсе каков порядок поиска).

Ну и т.п. у скалы правила поиска инстансов очень своеобразные

фурункул знаешь что такое?

Ну и? Нафига его тебе мизинцем в ухе чесать, от обычного кода?

фурункул знаешь что такое?

то что в расте считается большой ошибкой в хаскеле считается нормой

потому что специализации нет

мда

совсем уже разбаловали всякими растами

60-70% времени расставляю атрибуты и пишу растдоку

Все языки компилируемые