Ммм, видимо заново проходим, вроде с тобой звёздочку разбирали :)
А, дошло, вложенности там на уровне кайндов не выходит, т.к. есть уже вложенность на уровне типов. Есть лишь число параметров кайнда.
Или снова вру? :)
Кстати я правильно понимаю, что типы классов единственный вариант создания кайндов в хаскеле?