там некоторые типы данных, которые записаны с помощью PolyKinds(?), где про это можно прочитать, потому что ни в каких книгах про хаскель об этом ничего нет. И для примера как читается такая вещь и для чего она нужна:
data (path :: k) : > (a :: *)
deriving (Typeable)
Можно почитать здесь https://www.well-typed.com/blog/2015/11/implementing-a-minimal-version-of-haskell-servant/ Но там конкретно по этому вопросу совсем немного (но это не точно)
PolyKinds говорит, что переменная типа может иметь любой kind, без этого только какой-то конкретный.
Обсуждают сегодня