юзает те же типы данных, что и Generic? Или они другим/AST работают?
вопроса не понял, stock deriving работает с аст напрямую, это генерация на стороне компилятора
Ну я видел упоминание, что они не работают с экзистенциальными типами по той же причине, что и дженерики. А код GHC мне лень читать.
Обсуждают сегодня