на уровне любительских экспериментов или уже всеми используется на практике?
Их можно наколхозить толстой пачкой расширений GHC и пакетом singletons; работы над нормаальными deptypes ведутся.
Обсуждают сегодня