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