Чтобы два раза не вставать

[thesz]

Есть ли у кого живые впечатления от зависимых типов в новом ghc?