класса Data.Data.Data (один из дженерик классов в хаскеле) для типа T a b без наличия конструкторов T a b в скоупе? Пакет импортит только тип и смарт конструкторы. Я готов использовать любые средства - TH, GHC.Generics или что-то третье, только не знаю как.
Форкай либу и экспорти
Ну блин. Как другая опция - мб есть какая-то функция наподобие Data.Generics.everywhere которая делает маппинг внутренностей произвольных типов, но которая базируется на классе GHC.Generics.Generic вместо Data.Data.Data. Тож подойдёт.
Обсуждают сегодня