Функция reify
позволяет мне искать информацию о данном имени. Для функции возвращаемое значение VarI
:
data Info = ... | VarI Name Type (Maybe Dec) Fixity | ...
Здесь я могу изучить тип функции, и я также хотел бы изучить его объявление. Однако в третьем аргументе VarI
я всегда вижу Nothing
. Есть ли способ получить объявление функции?