Всё, что вы хотели знать о 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." ‎- Cat-coloured object
Oh, you can't help that: we're all mad here. I'm mad. You're mad. ‎- Cat-coloured object
Ооооо, скользкая дорожка плагинов к компилятору! https://github.com/non/kind-projector ‎- Cat-coloured object
(Вроде против этого в хаскеле есть Rank2Types, у которых с завершимостью проще) ‎- 9000