всю работу сделал Джофри Мэйнленд в 2012м году примерно, есть соответствующая статья на ICFP того года. Вмёрджено и появилось впервые в 7.8 в конце 2013. Есть мнение, что TTH незаслужено обойдён вниманием: его мало использовали, мало документировали, и есть острые углы в реализации, которые сейчас Мэт с Андресом пытаются сгладить. Там в основном взаимодействие с тайп-классами вызывало вопросы. Они даже статью на ICFP'20 написали, но их не взяли :-)
https://www.andres-loeh.de/SpecTTH/

конкретно про проблемы с тайп классами есть в их статье про staged-sop на HS'20

Вроде отдельного по коку нет, но есть по завтипам

Вот что нехватка Польши в организме делает

Я между прочим домашку делал!

Я угадал, что связано!

А есть чатик про DAML?

где-то

@astynax как тебе?

ну хоть колстек есть

fuuuu

слак, наверное.. не телеграм

о да!

что бы я без него делал

Ругался бы что нет колстека

А так незя

а есть ссылочка?

А, нашел

вообще, колстеки это где-то 80% готовности к продакшену, а борингхачкелисты все думают чеб запретить еще
в хаскеле самых базовых фич не хватает, а "лишние" вообще если и проблема - то десятой очереди