kind функционального типа

[lomeo]

Prelude> :kind (->)
(->) :: ?? -> ? -> *

Comments

[lomeo.livejournal.com]

хм... хорошо
тогда вопрос, что будет маркировать "???"

[deni-ok.livejournal.com]

Вот когда будет, тогда и решим, что будет маркировать ;)

[kurilka.livejournal.com]

Вооо - зришь в корень - правила определяет интерпретатор :)