Можно ли получить вид конструктора типа в Haskell?

Я работаю с Data.Typeable и, в частности, я хочу иметь возможность генерировать правильные типы определенного вида (скажем,

Что такое ограничение в натуральной подписи

Есть случаи, когда необходимо указать тип переменных типа, которых нет в типе. Эта комбинация делает действительно трудным найти разумный способ документировать.

Вид против ранга в теории типов

Мне трудно понять типы «Высший вид против высшего ранга». Вид довольно прост (спасибо литературе на Haskell за это), и я привык думать, что ранг похож на добрый, когда речь идет о типах, но, очевидно, нет! Я прочитал статью в Википедии ...

Не определено на уровне типа

Часто, когда я играю с кодом на Haskell, я заглушаю все с помощью аннотации типа иundefined. foo :: String -> Int foo = undefinedЕсть ли уровень неопределенности, который я мог бы использовать подобным образом? (В идеале в сочетании с доброй ...

Вид против ранга в теории типов

Что именно такое «*» в Haskell?

В Haskell выражения (на уровне значений) подразделяются натипы, который может быть записан с