Всё, что вы хотели знать о higher-order functors in Scala: "Not sure what are your goals, but this typechecks" — http://stackoverflow.com/questions/23577437/higher-order-func...
I added the Z parameter because I wanted to avoid existentials. Это завело меня в тупик, и я начал пить. ‎· псы в рапиде
"Higher kinded types in Scala lead to a Turing-complete type system, where compiler termination is no longer guaranteed." ‎· Размытое в синей футболке
Oh, you can't help that: we're all mad here. I'm mad. You're mad. ‎· Размытое в синей футболке
Ооооо, скользкая дорожка плагинов к компилятору! https://github.com/non/kind-projector ‎· Размытое в синей футболке
(Вроде против этого в хаскеле есть Rank2Types, у которых с завершимостью проще) ‎· 9000