reify

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