Давайте я тоже пожалуюсь, вот: type Trie[K, V, M[_, _]] = M[K, M[Tree[K], M[Tree[K], Trie[K, V, M]]]]
Каждый раз как вижу какую-нибудь такую фигню, хочу переключиться в другое окно и попрограммировать A* ‎- Cat-coloured object
То есть у меня где-то тупо стоит предохранитель, который на определённом уровне абстракции говорит: "так, ок, баиньки" ‎- Cat-coloured object
Спасает только то что у коллег предохранитель выгорает раньше, и поэтому это они меня считают психом, а не наоборот. ‎- Cat-coloured object
Но у Окасаки там явно скрутка. ‎- Cat-coloured object