с точки зрения педагогики и вообще

гуд найт всем

С этими объедками есть 30 лет материалов и информации, а с этими скалавэй все новое

я на спидране показывал подход для простых типов

ну вот например на примере
https://github.com/TinkoffCreditSystems/tofu/blob/master/core/src/main/scala/tofu/Context.scala#L111
есть примесь с инстансом для полу-стандартного типа

Она примешивается в компаньоны
https://github.com/TinkoffCreditSystems/tofu/blob/master/core/src/main/scala/tofu/Context.scala#L107
И добавляется к следующим примесям
https://github.com/TinkoffCreditSystems/tofu/blob/master/core/src/main/scala/tofu/Context.scala#L90
Всё более слабые предки получают инстансы более сильных.
Но амбигуйти нет, потому что компаньон указывает свой тип для результата
https://github.com/TinkoffCreditSystems/tofu/blob/master/core/src/main/scala/tofu/Context.scala#L77
Получается, что из двух инстансов, когда компилятор его из-за проблем своих увидит в двух компаньонах - он выберет из более сильного компаньона, потому что там тип более точный.

Поэтому на самом деле, в котах можно легко сделать так, чтобы весь cats.instances не был нужен.
Потому что причина, по которой инстансы не запихали в компаньоны - амбигуйти, когда один инстанс в двух компаньонах

Upcoming releases:

Desperados III – 16 June 2020

The Last of Us Part II – 19 June 2020

SpongeBob SquarePants: Battle For Bikini Bottom - Rehydrated – 23 June 2020

F1 2020 – 10 July 2020

Ghost of Tsushima – 17 July 2020

Paper Mario: The Origami King – 17 July 2020
Rock of Ages 3: Make & Break – 21 July 2020

Fast & Furious Crossroads – 7 August 2020
A Total War Saga: TROY – 13 August 2020
Kingdoms Of Amalur: Re-Reckoning – 18 August 2020
Mafia: Definitive Edition – 28 August 2020
Wasteland 3 – 28 August 2020

Crusader Kings III – 1 September 2020
Tony Hawk’s Pro Skater 1 + 2 – 4 September 2020
Marvel's Avengers – 4 September 2020
Cyberpunk 2077 – 17 September 2020