Длинный блогпост с подробным объяснением тайп констрейнтов в скале. От паттернов использования до собственной реализации. Как работают эти магические <:<, =:=, и почему недостаточно обычных тайп баундов. Для меня при изучении скалы это долгое время был один из самых непонятных вопросов. https://blog.bruchez.name/posts/generalized-type-constraints-in-scala/