Это получается один и тот же тип, при использовании в разных модулях может иметь разные имплементации?

Да

Таки сумрачная гениальность

_нормально_

ещё в demux-stream безумные сообщения об ошибках, потому что индуктивный frunk::Coprod наслаивается на комбинаторы стримов и замыкания!

в чём ненормальность?

хак — по определению ненормально

эй

это вполне нормальная замена специализации, которая не работает

но это ненормально!

И, имхо, в данном случае это даже лучше специализации т.к. не даёт пользователям шалить

нормально!

Ну а какое решение ты бы считал нормальным?

хкт же

В скале если, то это неявный параметр, который компилятор ищет в текущем 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] и если он его находит в единственном экземпляре, то подставляет туда и формирует вызов. Ошибкой является как то, что объекта такого типа не находится, так и то, что таких объектов больше одного.
Принести значение нужного типа в неявный скоуп можно импортом, объявлением в текущем классе, в объекте-компаньоне и как-то ещё, не суть важно (тем более правила поиска имплиситов менялись от версии к версии, сейчас я не в курсе каков порядок поиска).

специализацию конечно

и это тоже там требуется

Универсальный ответ конечно, но вроде unrelated к проблеме

Чем специализация лучше/нормальнее?

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