Получение ассоциированных синонимов типов с шаблоном Haskell
Может ли Template Haskell узнать имена и / или объявления синонимов связанных типов, объявленных в классе типов? Я ожидал, reifyчто сделаю то, что хочу, но, похоже, он не предоставляет всей необходимой информации. Он работает для получения сигнатур типов функций: % ghci GHCi, version 7.8.3:...